Using formal description techniques, an introduction to ESTELLE, LOTOS and SDL: by Kenneth J. Turner, ed., 1992. XXVIII + 431 pages, hardcover. ISBN 0-471-93455-0