Some developments in computing.
Laver, F. J. M.
London, 
1967.