Turner, K. J. (1993). Using formal description techniques: An introduction to Estelle,LOTOS, and SDL. Chichester [England] New York: Wiley.
Παραπομπή Chicago StyleTurner, Kenneth J. Using Formal Description Techniques: An Introduction to Estelle,LOTOS, and SDL. Chichester [England] New York: Wiley, 1993.
Παραπομπή MLATurner, Kenneth J. Using Formal Description Techniques: An Introduction to Estelle,LOTOS, and SDL. Chichester [England] New York: Wiley, 1993.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.