Mathematical logic in computer science. - Domolki B Ed.; Gergely T Ed. (1981)