What is a machine - Syrocki B John (1960)