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

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

Languages mentioned OBJ {1976}