IEEE transactions on computer-aided design of integrated circuits and systems - IEEE Computer Society. (IEEE Computer Society Publications Office, 1982)