What can be automated? the computer science and engineering research study (COSERS) - Arden, Bruce W., ed. (The MIT press series in computer science ; no. 3, 1980)