APA stil citiranja

Turner, K. J. (1993). Using formal description techniques: Using formal description techniques : an introduction to estelle, lotos and SDL (1. izd.). London: John Wiley & Sons, Inc.

Chicago stil citiranja

Turner, Kenneth J. Using formal description techniques: Using formal description techniques : an introduction to estelle, lotos and SDL. 1. izd. London: John Wiley & Sons, Inc, 1993.

MLA stil citiranja

Turner, Kenneth J. Using formal description techniques: Using formal description techniques : an introduction to estelle, lotos and SDL. 1. izd. London: John Wiley & Sons, Inc, 1993.