Solange Coupet-Grimal Line Jakubiec Hardware Verification Using Co-induction in COQ. 91-108 1999 conf/tphol/1999 TPHOLs http://link.springer.de/link/service/series/0558/bibs/1690/16900091.htm db/conf/tphol/tphol99.html#Coupet-GrimalJ99