Uitgaven door Konheim, Alan G. (IBM, Thomas J. Watson Research Center)