APA Style

Chlipala, A. (). Certified Programming with Dependent Types . : .

MLA Style

Chlipala, Adam. "Certified Programming with Dependent Types". : , . Information Technology.