Towards a formal foundation of the specification and description language SDL Manfred Broy OriginalPaper Pages: 21 - 57