Using Recursive Types to Reason about Hardware in Higher Order Logic

Thomas F. Melham

institution	Computer Laboratory, University of Cambridge
month	May
number	135
year	1988