APA (7th ed.) Citation

Turner, K. J. (1993). Using formal description techniques: An introduction to Estelle, LOTOS, and SDL. Wiley.

Chicago Style (17th ed.) Citation

Turner, Kenneth J. Using Formal Description Techniques: An Introduction to Estelle, LOTOS, and SDL. Chichester [England] ; New York: Wiley, 1993.

MLA (8th ed.) Citation

Turner, Kenneth J. Using Formal Description Techniques: An Introduction to Estelle, LOTOS, and SDL. Wiley, 1993.