Lanzamientos por Konheim, Alan G. (IBM, Thomas J. Watson Research Center)