The Machine-Assisted Proof of Programming Language Properties (1996)

by M VanInwegen