An overview of the Edinburgh Logical Framework (1989)

by Arnon Avron, Furio Honsell, Ian A Mason
Venue:Current Trends in Hardware Verification and Automated Theorem Proving