Restriction in Program Algebra. - Jackson, Marcel; Stokes, Tim (Logic Journal of the IGPL, 2023)