@inproceedings{DBLP:conf/concur/Hoare90,
  title = "Let's Make Models (Abstract)",
  author = "C. A. R. Hoare",
  year = "1990",
  booktitle = "CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings",
  editor = "Jos C. M. Baeten and Jan Willem Klop",
  pages = "32",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "458",
  doi = "10.1007/BFb0039049",
}