Mechanizing logical relations (1994)

by A Stoughton
Venue:Lecture Notes in Computer Science