Nuprl and its use in circuit design (1992)

by P B Jackson
Venue:Theorem Provers in Circuit Design: Theory, Practice and Experience, pages 311--336. IFIP TC10/WG 10.2