Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures - Abramsky, Gabbay, Maibaum (Oxford University PressOxford University Press, 2020)