Tim Sheard David W. Stemple The precise control of inheritance and the inheritance of theory in the ADABTPL language. 194-201 1988 conf/iccl/1988 ICCL http://dx.doi.org/10.1109/ICCL.1988.13064 db/conf/iccl/iccl1988.html#SheardS88