Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings - Hutton, Graham; Hutton, Graham (Springer International Publishing : Imprint: Springer, 2019)