Using formal description techniques : an introduction to Estelle, LOTOS and SDL /
Turner, Kenneth J.
Chichester : Wiley,
c1993 [i.e. 1992]