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