Some Classes of Naturally Provable Programs

@inproceedings{Basu-Misra:ICSE76,
  author    = {Sanat K. Basu and
               Jayadev Misra},
  title     = {Some Classes of Naturally Provable Programs},
  booktitle = {ICSE},
  pages     = {400--406},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}