Author: Summer Seminar on Recent Developments in Software Haifa 1970.