Müller-Olm, M. (1997). Modular compiler verification: A refinement-algebraic approach advocating stepwise abstraction. Springer.
Chicago Style (17th ed.) CitationMüller-Olm, Markus. Modular Compiler Verification: A Refinement-algebraic Approach Advocating Stepwise Abstraction. Berlin [etc.]: Springer, 1997.
MLA (9th ed.) CitationMüller-Olm, Markus. Modular Compiler Verification: A Refinement-algebraic Approach Advocating Stepwise Abstraction. Springer, 1997.
Warning: These citations may not always be 100% accurate.
