Abstraction mechanisms in Theta (1994)

by Mark Day, Robert Gruber, Barbara Liskov, Andrew C Meyers