El texto ""COMAL 80 PROGRAMMING LANGUAGE REPORT"" contiene la definición formal del lenguaje.