A query algebra for program databasesSantanu PaulAtul Prakash1996IEEE Transactions on Software Engineering