APA Цитирование

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

Chicago-стиль цитирования

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

MLA-цитирование

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

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.