Program Proofs (Book)
program-proofs.com