Specification metalanguage used for a formal definition of Ada. "An Introduction to the SMoLCS Methodology", E. Astesiano, U Genova 1986.
SMOLCS
Meaning of SMOLCS in English
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012