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