Handbook of logic in computer science. - Abramsky, Samson, 1953- (Clarendon Press, 2000)