TURNER, Kenneth J., 1993. Using formal description techniques : an introduction to Estelle, Lotos and SDL. Chichester [u.a.]: Wiley. ISBN 0471934550.
Elsevier - Harvard (with titles)Turner, K.J., 1993. Using formal description techniques : an introduction to Estelle, Lotos and SDL, (Wiley series in communication and distributed systems). Wiley, Chichester [u.a.].
American Psychological Association 7th editionTurner, K. J. (ca. 1993). Using formal description techniques : an introduction to Estelle, Lotos and SDL [Book]. In (Wiley series in communication and distributed systems). Wiley.
Springer - Basic (author-date)Turner KJ (1993) Using formal description techniques : an introduction to Estelle, Lotos and SDL. Wiley, Chichester [u.a.]
Juristische Zitierweise (Stüber) (Deutsch)Turner, Kenneth J., Using formal description techniques : an introduction to Estelle, Lotos and SDL, Chichester [u.a.] 1993.