HOHLFELD, Bernhard und STRUCKMANN, Werner, 1992. Einführung in die Programmverifikation : Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL. Mannheim [u.a.]: BI-Wiss.-Verl. Reihe Informatik, 88. ISBN 3411159715.
Elsevier - Harvard (with titles)Hohlfeld, B., Struckmann, W., 1992. Einführung in die Programmverifikation : Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL, Reihe Informatik, Reihe Informatik. BI-Wiss.-Verl., Mannheim [u.a.].
American Psychological Association 7th editionHohlfeld, B., & Struckmann, W. (ca. 1992). Einführung in die Programmverifikation : Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL [Book]. In Reihe Informatik. BI-Wiss.-Verl.
Springer - Basic (author-date)Hohlfeld B, Struckmann W (1992) Einführung in die Programmverifikation : Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL. BI-Wiss.-Verl., Mannheim [u.a.]
Juristische Zitierweise (Stüber) (Deutsch)Hohlfeld, Bernhard/ Struckmann, Werner, Einführung in die Programmverifikation : Theorie und Anwendung der Hoareschen Methode am Beispiel der Programmiersprache PASCAL, Mannheim [u.a.] 1992.