APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

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