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

by Hanna, N Daeche
Venue:Proceedings, Pt. E