Annex D to recommendation Z.100 SDL user guidelines/International Telecommunication Union
Annex F.1 to recommendation Z.100 : SDL formal definition: introduction/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
CCITT high level language (CHILL) : international standard ISO/IEC 9496: recommendation Z.200/International Telecommunication Union
Man-machine language (MML) : recommendation Z.301 - Z.341/International Telecommunication Union
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