Title: Formale Semantikbeschreibung der Grundelemente nonprozeduraler Registertransfersprachen / Peter Meinen