Mathematical logic in computer science - Domolki, B. ed. (Amsterdam North-Holland, 1981)