Stef Joosten: Software Development in Relation Algebra with Ampersand. RAMiCS 2017: 177-192