Source : Free On-Line Dictionary of Computing

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