APT, Krzysztof R. und OLDEROG, Ernst-Rüdiger, 1994. Programmverifikation : sequentielle, parallele und verteilte Programme. Berlin [u.a.]: Springer. ISBN 3540574794.
Elsevier - Harvard (with titles)Apt, K.R., Olderog, E.-R., 1994. Programmverifikation : sequentielle, parallele und verteilte Programme, Springer-Lehrbuch. Springer, Berlin [u.a.].
American Psychological Association 7th editionApt, K. R., & Olderog, E.-R. (ca. 1994). Programmverifikation : sequentielle, parallele und verteilte Programme [Book]. In Springer-Lehrbuch. Springer.
Springer - Basic (author-date)Apt KR, Olderog E-R (1994) Programmverifikation : sequentielle, parallele und verteilte Programme. Springer, Berlin [u.a.]
Juristische Zitierweise (Stüber) (Deutsch)Apt, Krzysztof R./ Olderog, Ernst-Rüdiger, Programmverifikation : sequentielle, parallele und verteilte Programme, Berlin [u.a.] 1994.