Teaching people to write Proofs: a Tool (1998)

by R Burstall
Venue:In: CafeOBJ Symposium