Using recursive types to reason about hardware and higher order logic (1988)

by T F Melham
Venue:International Workshop on Higher Order Logic Theorem Proving and its Applications