Invariants for Specifications

@inproceedings{Kramer-Cunningham:ICSE79,
  author    = {Jeff Kramer and
               Jim Cunningham},
  title     = {Invariants for Specifications},
  booktitle = {ICSE},
  pages     = {183--193},
  publisher = {{IEEE} Computer Society},
  year      = {1979},
}