APA引文

(1997). Modular compiler verification: A refinement-algebraic approach advocating stepwise abstraction / Markus Müller-Olm.

Chicago Style (17th ed.) Citation

Modular Compiler Verification: A Refinement-algebraic Approach Advocating Stepwise Abstraction / Markus Müller-Olm. 1997.

MLA引文

Modular Compiler Verification: A Refinement-algebraic Approach Advocating Stepwise Abstraction / Markus Müller-Olm. 1997.

警告：這些引文格式不一定是100％准確.