Specification of Cana Language - a Lingua Franca for Computer Programming.