OBJ as a theorem prover, with application to hardware verification (1989)

by Joseph Goguen
Venue:Current Trends in Hardware Verification and Automated Theorem Proving