Specification and verification of digital systems using higher-order predicate logic (1986)

by F K Hanna, N Daeche
Venue:IEE Proceedings