A Generalized Assertion Language

@inproceedings{Chow:ICSE76,
  author    = {Tsun S. Chow},
  title     = {A Generalized Assertion Language},
  booktitle = {ICSE},
  pages     = {392--399},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}