On the frame problem in procedure specifications (1995)

by Alex Borgida, John Mylopoulos, Raymond Reiter
Venue:IEEE Transactions on Software Engineering