Lincos - Freudenthal, Hans. (Elsevier,)