SMoLCS

SMoLCS

Specification metalanguage used for a formal definition ofAda. "An Introduction to the SMoLCS Methodology",E. Astesiano, U Genova 1986.