Introduction to digital systems - CRISP (Newnes, 2000)