M.: Clean Prover System. Master Thesis no (1998)

by de Mol