Advanced logic for applications. - Grandy Richard E (Boston D Reidel Publishing, 1977)