J. Craig Cleaveland. Programming languages considered as abstract data types. In Charles L. Bradshaw, Gordon R. Sherman, editors, Proceedings of the ACM 1980 Annual Conference, Nashville, Tennessee, USA, October, 27-29, 1980. pages 236-245, ACM, 1980. [doi]
@inproceedings{Cleaveland80,
title = {Programming languages considered as abstract data types},
author = {J. Craig Cleaveland},
year = {1980},
doi = {10.1145/800176.809973},
url = {http://doi.acm.org/10.1145/800176.809973},
researchr = {https://researchr.org/publication/Cleaveland80},
cites = {0},
citedby = {0},
pages = {236-245},
booktitle = {Proceedings of the ACM 1980 Annual Conference, Nashville, Tennessee, USA, October, 27-29, 1980},
editor = {Charles L. Bradshaw and Gordon R. Sherman},
publisher = {ACM},
isbn = {0-89791-028-1},
}