Smolka, Gert Programmierung - eine Einführung in die Informatik mit Standard ML von Prof. Dr. Gert Smolka - 2., korrigierte Auflage - München Oldenbourg 2011 - XIV, 371 Seiten, Diagramme ISBN: 9783486705171 Subjects--Topical Terms: Programmierung--Programmiersprache--Standard ML Subjects--Index Terms: Programmiersprache Standard ML