Speci cation and Veri cation of Digital Systems using Higher-order Predicate Logic (1986)

by F K Hanna, N Daeche
Venue:IEE Proceedings, 133, E-5