@inproceedings{DBLP:conf/birthday/Hoare13a,
  title = "Generic Models of the Laws of Programming",
  author = "Tony Hoare",
  year = "2013",
  booktitle = "Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday",
  editor = "Zhiming Liu and Jim Woodcock and Huibiao Zhu",
  pages = "213-226",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "8051",
  doi = "10.1007/978-3-642-39698-4_13",
}