Pascal Manoury Michel Parigot Marianna Simonot ProPre A Programming Language with Proofs. 484-486 1992 conf/lpar/1992 LPAR db/conf/lpar/lpar92.html#ManouryPS92 http://dx.doi.org/10.1007/BFb0013095