APA-viite

Andrew W Appel. (2014). Program Logics for Certified Compilers. CUP.

Chicago-tyylinen lähdeviittaus

Andrew W Appel. Program Logics for Certified Compilers. CUP, 2014.

MLA-viite

Andrew W Appel. Program Logics for Certified Compilers. CUP, 2014.

Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.