On the Frame Problem in Procedure Specifications (1993)

by Alex Borgida, John Mylopoulos, Raymond Reiter