Subramanyan, V.P. and Birtwhistle, Graham [eds], "Current Trends in Hardware Verification and Automated Theorem Proving" Springer, 1989.

• Joseph Goguen. (1989) Joseph Goguen. "OBJ as a theorem prover, with application to hardware verification". pp218-267