What can be automated? : the computer science and engineering research study (COSERS) - Arden, Bruce W. (MIT Press, 1980)