Tim Sheard David W. Stemple Inheritance of Theory in the Adabtpl Language. 157-167 1992 17 Comput. Lang. 3 db/journals/cl/cl17.html#SheardS92