F. Grize, A. Strohmeier; "SARTEX: manuel de reference du langage (version 2.0)" Departement de Mathematiques, Ecole Polytechnique Federale de Lausanne; Lausanne, 1983.

Languages mentioned

• SARTEX {1985}