Computer-aided design of digital electronic circuits and systems - Musgrave, Gerald (North-Holland Pub. Co., 1979)