APA-referens

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

Chicago-stil citat

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

MLA-referens

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

Varning: dessa hänvisningar är inte alltid fullständigt riktiga.