Handbook of Logic in Computer Science - Abramsky (Oxford University PressOxford University Press, 2023)