Logical Effort by Ivan E. Sutherland & Robert F. Sproull