Mechanizing programming logics in higher order logic (1989)

by M J C Gordon
Venue:Current Trends in Hardware Verification and Automated Theorem Proving, number 7