%0 Book Section %1 books/daglib/p/BorgstromGP10 %A Borgström, Johannes %A Gordon, Andrew D. %A Pucella, Riccardo %B Reflections on the Work of C. A. R. Hoare %D 2010 %E Roscoe, A. W. %E Jones, Clifford B. %E Wood, Kenneth R. %I Springer %K dblp %P 71-99 %T Roles, Stacks, Histories: A Triple for Hoare. %U http://dblp.uni-trier.de/db/books/collections/RJW2010.html#BorgstromGP10 %@ 978-1-84882-911-4

@incollection{books/daglib/p/BorgstromGP10, added-at = {2022-02-14T00:00:00.000+0100}, author = {Borgström, Johannes and Gordon, Andrew D. and Pucella, Riccardo}, biburl = {https://www.bibsonomy.org/bibtex/245f61cb853aca8eecc6da4af842bbf38/dblp}, booktitle = {Reflections on the Work of C. A. R. Hoare}, crossref = {books/daglib/0025134}, editor = {Roscoe, A. W. and Jones, Clifford B. and Wood, Kenneth R.}, ee = {https://doi.org/10.1007/978-1-84882-912-1_4}, interhash = {14c3e3c294b844c2b6ec351773ad997b}, intrahash = {45f61cb853aca8eecc6da4af842bbf38}, isbn = {978-1-84882-911-4}, keywords = {dblp}, pages = {71-99}, publisher = {Springer}, timestamp = {2024-04-10T18:17:35.000+0200}, title = {Roles, Stacks, Histories: A Triple for Hoare.}, url = {http://dblp.uni-trier.de/db/books/collections/RJW2010.html#BorgstromGP10}, year = 2010 }