Ian J. Hayes, Larissa A. Meinicke, Nasos Evangelou-Oost: Restructuring a Concurrent Refinement Algebra. RAMiCS 2024: 135-155