Lee Naish. Specification = Program + Types. In Kesav V. Nori, editor, Foundations of Software Technology and Theoretical Computer Science, Seventh Conference, Pune, India, December 17-19, 1987, Proceedings. Volume 287 of Lecture Notes in Computer Science, pages 326-339, Springer, 1987.
@inproceedings{Naish87,
title = {Specification = Program + Types},
author = {Lee Naish},
year = {1987},
researchr = {https://researchr.org/publication/Naish87},
cites = {0},
citedby = {0},
pages = {326-339},
booktitle = {Foundations of Software Technology and Theoretical Computer Science, Seventh Conference, Pune, India, December 17-19, 1987, Proceedings},
editor = {Kesav V. Nori},
volume = {287},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-18625-5},
}