Edmund Robinson, Joshua Wrigley: Day algebras. Math. Struct. Comput. Sci. 36 (2026)