Residuation theory - Blyth, Thomas Scott (1972)