An environment for the reengineering of Pascal programs | IEEE Conference Publication | IEEE Xplore