Handbook of logic in computer science: mathematical structures - Gabbay, Dov M.,; Maibaum, Thomas S. E., (Clarendon Press, 1992)