Functional specification and description language (SDL) : criteria for using formal description techniques (FDTs): recommendation Z.100 and annexes A, B, C and E, recommendation Z.110 / International Telecommunications Union
Annex D to recommendation Z.100 SDL user guidelines/International Telecommunication Union
Annex F.2 to recommendation Z.100 : SDL formal definition: static semantics/International Telecommunication Union
Annex F.3 to recommendation Z.100 : SDL formal definition: dynamic semantics/International Telecommunication Union