Colloque sur les foundements des mathématiques : les machines mathématiques, et leurs applications, Tihany, 11-15 Septembre 1962.

Paris : Gauthier-Villars, 1965

Computer elements and systems : (Vychislitelʹnye sistemy). Proceedings of a conference in Novosibirsk, June 1967 /

Jerusalem : Israel Program for Scientific translations; [available from the U.S. Dept. of Commerce, National Technical Information Services, Springfield, Va.], 1971