Recovering abstract data types and object instances from a conventional procedural language | IEEE Conference Publication | IEEE Xplore