SMoLCS(ID:1275/smo002)
Began: 1986
Languages for 1986
1980s languages
Fifth generation
Late Cold War
Published: 1986
1986
Specification metalanguage used for a formal definition of Ada. "An Introduction to the SMoLCS Methodology", E. Astesiano, U Genova 1986.