Bemerkungen über ML und seine polymorphe Typenstruktur / Remark on ML and its Polymorphic Type Structure. - Wolfgang Correnz; Josef Ingenerf; Michael M. Richter (it Inf. Technol., 1987)