Cita APA

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

Citación estilo Chicago

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

Cita MLA

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