एपीए उद्धरण

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

शिकागो स्टाइल उद्धरण

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

एमएलए उद्धरण

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