C. A. R. Hoare, Innes Page. Hardware and Software: The Closing Gap. In Jürg Gutknecht, editor, Programming Languages and System Architectures, International Conference, Zurich, Switzerland, March 2-4, 1994, Proceedings. Volume 782 of Lecture Notes in Computer Science, pages 49-68, Springer, 1994.
@inproceedings{HoareP94, title = {Hardware and Software: The Closing Gap}, author = {C. A. R. Hoare and Innes Page}, year = {1994}, tags = {C++}, researchr = {https://researchr.org/publication/HoareP94}, cites = {0}, citedby = {0}, pages = {49-68}, booktitle = {Programming Languages and System Architectures, International Conference, Zurich, Switzerland, March 2-4, 1994, Proceedings}, editor = {Jürg Gutknecht}, volume = {782}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-57840-4}, }