%0 Book
%A  Jean-Pierre Jouannaud, Zhong Shao (editions.)
%T Certified programs and proofs :
%U /book/89975953/Certified-programs-and-proofs/