APA Style

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

MLA Style

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