The Evolution of Programs: Program Abstraction and Instantiation

@inproceedings{Dershowitz:ICSE81,
  author    = {Nachum Dershowitz},
  title     = {The Evolution of Programs: Program Abstraction and Instantiation},
  booktitle = {ICSE},
  pages     = {79--89},
  publisher = {{IEEE} Computer Society},
  year      = {1981},
}