@article{914833,
      note = {International conference proceedings.},
      author = {Ribeiro, Pedro, and Sampaio, Augusto, and Hoare, C. A. R.},
      url = {http://library.usi.edu/record/914833},
      title = {Unifying theories of programming : 7th International  Symposium, UTP 2019, dedicated to Tony Hoare on the  occasion of his 85th birthday, Porto, Portugal, October 8,  2019, Proceedings /. UTP (Symposium)},
      doi = {https://doi.org/10.1007/978-3-030-31038-7},
      recid = {914833},
      pages = {1 online resource (xiv, 217 pages) :},
}