@article{915978,
      note = {International conference proceedings.},
      author = {Hutton, Graham,},
      url = {http://library.usi.edu/record/915978},
      title = {Mathematics of program construction : 13th International  Conference, MPC 2019, Porto, Portugal, October 7-9, 2019,  Proceedings /. International Conference on the Mathematics  of Program Construction},
      doi = {https://doi.org/10.1007/978-3-030-33636-3},
      recid = {915978},
      pages = {1 online resource (viii, 467 pages) :},
}