Handbook of logic in computer science - Abramsky, Samson 1953-; Gabbay, Dov M., 1945-; Maibaum, Thomas S. E., 1947- (Clarendon Press ; Oxford University Press, 1992)