1. Foundations of Constructive Mathematics;Beeson,1985
2. Proof theory at work: Program development in the Minlog system;Benl,1998
3. Abstract State Machines—A Method for High-Level System Design and Analysis;Börger,2003
4. Logics for termination and correctness of functional programs;Feferman,1992
5. Logics for termination and correctness of functional programs, II. Logics of strength PRA;Feferman,1992