Extracting object-oriented specification from procedurally oriented programs | IEEE Conference Publication | IEEE Xplore