LINCOS - Freudenthal, Hans (North-Holland, 1960)