Specification metalanguage used for a formal definition of Ada. "An Introduction to the SMoLCS Methodology", E. Astesiano, U Genova 1986.
Try this search on Wikipedia, OneLook, Google
Nearby terms: smoke-emitting diode « smoke test « smoking clover « SMoLCS » SMOP » SMP » SMPS