Comparing Object Encodings (1999)

by K B Bruce, L Cardelli, B C Pierce
Venue:Information and Computation