Müller-Olm, M., & Müller-Olm, M. (1997). Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (1st ed. 1997.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/BFb0027453
Παραπομπή σε μορφή Chicago (17η εκδ.)Müller-Olm, Markus, και Markus Müller-Olm. Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction. 1st ed. 1997. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 1997. https://doi.org/10.1007/BFb0027453.
Παραπομπή σε μορφή MLA (8th εκδ.)Müller-Olm, Markus, και Markus Müller-Olm. Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction. 1st ed. 1997. Springer Berlin Heidelberg : Imprint: Springer, 1997. https://doi.org/10.1007/BFb0027453.
