André van Delft, Anatoliy Kmetyuk: Declarative Programming with Algebra. FLOPS 2016: 232-251