Friedrich L. Bauer Andrei P. Ershov Manfred Paul Alan J. Perlis 1-2 1981 15 Acta Inf. db/journals/acta/acta15.html#BauerEPP81