Restriction in program algebra - Jackson, Marcel; Stokes, Tim (Logic journal of the IGPL, 2023)
Keywords: finite axiomatization; update; partial function; Override; domain restriction