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

@inproceedings{Borgida-al:ICSE93,
  author    = {Alexander Borgida and
               John Mylopoulos and
               Raymond Reiter},
  title     = {{"...And} Nothing Else Changes": The Frame Problem in Procedure Specifications},
  booktitle = {ICSE},
  pages     = {303--314},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1993},
}