Programmierung - eine Einführung in die Informatik mit Standard ML - Smolka, Gert 1955- (Oldenbourg, 2008)