Reasoning about sequential functions via logical relations (1992)

by K Sieber
Venue:Applications of Categories in Computer Science, number 177 in LMS Lecture Note Series