APA stil citiranja

Chlipala, A. (2013). Certified programming with dependent types: Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant. MIT Press.

Chicago stil citiranja

Chlipala, Adam. Certified programming with dependent types: Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant. MIT Press, 2013.

MLA stil citiranja

Chlipala, Adam. Certified programming with dependent types: Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant. MIT Press, 2013.