Walther, C. (2001). Semantik und Programmverifikation (1. Aufl.). Teubner.
Chicago-Zitierstil (17. Ausg.)Walther, Christoph. Semantik Und Programmverifikation. 1. Aufl. Stuttgart [u.a.]: Teubner, 2001.
MLA-Zitierstil (9. Ausg.)Walther, Christoph. Semantik Und Programmverifikation. 1. Aufl. Teubner, 2001.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.