Recommendation Z.100 (2016) Annex F2 (10/16): Z.100 : Specification and Description Language - Overview of SDL-2010 - SDL formal definition: Static semantics

Rick Reed and Edel Sherratt are responsible for the current version of this recommendation which includes contributions by the authors listed above and by other authors over many years.