APA (7th ed.) Citation

(1997). Modular compiler verification: A refinement algebraic approach advocating stepwise abstraction. Springer. https://doi.org/10.1007/BFb0027453

Chicago Style (17th ed.) Citation

Modular Compiler Verification: A Refinement Algebraic Approach Advocating Stepwise Abstraction. Berlin [u.a.]: Springer, 1997. https://doi.org/10.1007/BFb0027453.

MLA (9th ed.) Citation

Modular Compiler Verification: A Refinement Algebraic Approach Advocating Stepwise Abstraction. Springer, 1997. https://doi.org/10.1007/BFb0027453.