Program comprehension through the identification of abstract data types | IEEE Conference Publication | IEEE Xplore