Peter S. Canning William R. Cook Walter L. Hill Walter G. Olthoff Interfaces for Strongly-Typed Object-Oriented Programming. 457-467 1989 OOPSLA db/conf/oopsla/oopsla89.html#CanningCHO89