"...And Nothing Else Changes": The Frame Problem in Procedure Specifications.

Alexander Borgida, John Mylopoulos, Raymond Reiter

Browse the full ICSE paper archive.