Reid G. Smith Paul Barth Robert Young A Substrate for Object-Oriented Interface Design. 253-316 1987 Research Directions in Object-Oriented Programming db/books/collections/ShriverW87.html#SmithBY87