TY - RPRT A1 - Broy, Manfred A1 - Facchi, Christian A1 - Grosu, Radu A1 - Hettler, Rudi A1 - Hussmann, Heinrich A1 - Nazareth, Dieter A1 - Regensburger, Franz A1 - Slotosch, Oscar A1 - Stølen, Ketil T1 - The Requirement and Design Specification Language SPECTRUM BT - An Informal Introduction : Version 1.0. Part I T2 - TUM-Info. 9311 Y1 - 1993 PB - Technische Universität München CY - München ER - TY - RPRT A1 - Broy, Manfred A1 - Facchi, Christian A1 - Grosu, Radu A1 - Hettler, Rudi A1 - Hussmann, Heinrich A1 - Nazareth, Dieter A1 - Regensburger, Franz A1 - Slotosch, Oscar A1 - Stølen, Ketil T1 - The Requirement and Design Specification Language SPECTRUM BT - An Informal Introduction : Version 1.0. Part II T2 - TUM-Info. 9312 Y1 - 1993 PB - Technische Universität München CY - München ER -