On the correctness of type transformations, talk at (1983)

by P PEPPER
Venue:2nd Workshop on Theory and Applications of Abstract Data Types