Digital logic&State machine Design - COMER, David J (Holt Rinehart, 1984)