[1] Collected Algorithms for Learning Machines

[2] Computer Assisted Library Mechanization.