"Certified Programs and Proofs - CPP 2011 " - читать интересную книгу автора (Jean-Pierre Jouannaud, Zhong Shao)