Handbook of logic in computer science - Abramsky, Samson, 1953-; Gabbay, Dov M., 1945- (Clarendon, 1992)