Author: Time-Sharing Seminar University of Bergen 1967.