Peter Jipsen: Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras. RAMiCS 2017: 144-158