On the correctness of type transformations. Talk at (1983)

by P Pepper
Venue:2nd Workshop on Theory and Applications of Abstract Data Types, Passau