Formale Semantik des Datentypmodells von SDL-2000. - Martin von Löwis of Menar (2003)