Modern logic design - Green, D (Addison-Wesley, 1986)