Digital computer fundamentals - Bartee, Thomas C (1986)