Certified Programming with Dependent Types

Bok av Adam Chlipala