APA (7th ed.) Citation

(1993). Using formal description techniques: An introduction to ESTELLE, LOTOS and SDL. Wiley.

Chicago Style (17th ed.) Citation

Using Formal Description Techniques: An Introduction to ESTELLE, LOTOS and SDL. Chichester [u.a]: Wiley, 1993.

MLA (9th ed.) Citation

Using Formal Description Techniques: An Introduction to ESTELLE, LOTOS and SDL. Wiley, 1993.