From logicism of proceduralsm (an autobiographical account).

Published in: Algorithms in Modern Mathematics and Computer Science (1979)