@inproceedings{DBLP:conf/plsa/HoareP94,
  title = "Hardware and Software: The Closing Gap",
  author = "C. A. R. Hoare and Ian Page",
  year = "1994",
  booktitle = "Programming Languages and System Architectures, International Conference, Zurich, Switzerland, March 2-4, 1994, Proceedings",
  editor = "J{\"u}rg Gutknecht",
  pages = "49-68",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "782",
  doi = "10.1007/3-540-57840-4_24",
}