Proving programs and programming proofs (1986)

by Michael J Beeson
Venue:Logic, Methodology and Philosophy of Science VII