smolcs

from The Free On-line Dictionary of Computing (8 July 2008)

SMoLCS

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