Hilbert's Programs and Beyond by Wilfried Sieg Hardcover Oxford

Program Proofs, Leino, K. Rustan M., Excellent Book

Certified Programs and Proofs - 9783642353079

Certified Programs and Proofs - 9783642253782

Program Proofs

Types for Proofs and Programs : International Workshop, TYPES 200

Gonthier - Certified Programs and Proofs Third International Confere - X555z

Formal Development of Programs and Proofs edited by Edsger Dijkstra (hardcover)