John V. Guttag Notes on Type Abstraction (Version 2). 13-23 1980 6 IEEE Trans. Software Eng. 1 db/journals/tse/tse6.html#Guttag80