Journal of Logical and Algebraic Methods in ProgrammingVolume 106, August 2019, Pages 198-199Relational and algebraic methods in computer scienceAuthor links open overlay panelPeter Höfner, Damien Pous, Georg StruthShow moreShareCitehttps://doi.org/10.1016/j.jlamp.2019.05.005Get rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)© 2019 Published by Elsevier Inc.