The precise control of inheritance and the inheritance of theory in the ADABTPL language | IEEE Conference Publication | IEEE Xplore