Introduction to digital systems - Crisp, John (Newnes, 2000)