Müller-Olm, M. (1997). Modular compiler verification: A refinement algebraic approach advocating stepwise abstraction. Springer.
Chicago-Zitierstil (17. Ausg.)Müller-Olm, Markus. Modular Compiler Verification: A Refinement Algebraic Approach Advocating Stepwise Abstraction. Berlin [u.a.]: Springer, 1997.
MLA-Zitierstil (9. Ausg.)Müller-Olm, Markus. Modular Compiler Verification: A Refinement Algebraic Approach Advocating Stepwise Abstraction. Springer, 1997.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.