An introduction to mathematical machine theory - Ginsburg, Seymour 1927 - (Addison-Wesley series in computer science and information processing, 1962)