Program Development by Proof Transformation [chapter]

Ulrich Berger, Helmut Schwichtenberg
1995 Proof and Computation  
doi:10.1007/978-3-642-79361-5_1 fatcat:sueg46547ndrlo3hoywapfytda