David S. Wile Type Transformations. 32-39 1981 7 IEEE Trans. Software Eng. 1 db/journals/tse/tse7.html#Wile81 http://doi.ieeecomputersociety.org/10.1109/TSE.1981.230817