Logic for information technology - Galton, Antony (Wiley, 1990)