Santanu Paul
Univ. of Michigan
The canonical activities of reverse engineering
Annals of Software Engineering
A Query Algebra for Program Databases
IEEE Transactions on Software Engineering