Notes on Type Abstraction

@inproceedings{Guttag1978NotesOT,
  title={Notes on Type Abstraction},
  author={John V. Guttag},
  booktitle={Program Construction},
  year={1978}
}