APA (7th ed.) Citation

Apt, K. R., & Olderog, E. (1994). Programmverifikation: Sequentielle, parallele und verteilte Programme. Springer.

Chicago Style (17th ed.) Citation

Apt, Krzysztof R., and Ernst-Rüdiger Olderog. Programmverifikation: Sequentielle, Parallele Und Verteilte Programme. Berlin u.a: Springer, 1994.

MLA (9th ed.) Citation

Apt, Krzysztof R., and Ernst-Rüdiger Olderog. Programmverifikation: Sequentielle, Parallele Und Verteilte Programme. Springer, 1994.