Handbook of logic in computer science - Abramsky, Samson (Hrsg.) (Oxford science publications)