Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie. - Hartmut Ehrig; Werner Fey; Hans-Jörg Kreowski (Software Engineering, 1980)

Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications. - Hartmut Ehrig; Werner Fey (GI Jahrestagung, 1981)

From Requirements to Design Specification. - Werner Fey (ADT, 1982)

ACT ONE - An Algebraic Specification Language with two Levels of Semantics. - Hartmut Ehrig; Werner Fey; Horst Hansen (ADT, 1983)

Towards Abstract User Interfaces for Formal System Specifications. - Hartmut Ehrig; Werner Fey; Horst Hansen (ADT, 1984)

The Module Specification Language ACT TWO. - Werner Fey (ADT, 1986)

Algebraic Theory of Module Specification with Constraints. - Hartmut Ehrig; Werner Fey; Francesco Parisi-Presicce; Edward K. Blum (MFCS, 1986)

Algebraic Theory of Modular Specification Development. - Werner Fey; Hartmut Ehrig; Horst Hansen; Michael Löwe (ADT, 1988)

Categories for the Development of Algebraic Module Specifications. - Hartmut Ehrig; Werner Fey; Horst Hansen; Michael Löwe; Francesco Parisi-Presicce (Categorial Methods in Computer Science, 1988)

Pragmatics, concepts, syntax, semantics and correctness notions ACT TWO: an algebraic module specification and interconnection language. - Werner Fey (1988)

Algebraic Software Development Concepts for Module and Configuration Families. - Hartmut Ehrig; Werner Fey; Horst Hansen; Michael Löwe; Dean Jacobs (FSTTCS, 1989)

Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag). - Hartmut Ehrig; Ingo Claßen; Paul Boehm; Werner Fey; Martin Korff; Michael Löwe (Software-Entwicklung, 1989)

Algebraic Specification of Modules and Configuration Families. - Hartmut Ehrig; Werner Fey; Horst Hansen; Michael Löwe; Dean Jacobs; Anno Langen; Francesco Parisi-Presicce (J. Inf. Process. Cybern., 1989)

Compatibility Problems in the Development of Algebraic Module Specifications. - Hartmut Ehrig; Werner Fey; Horst Hansen; Michael Löwe; Dean Jacobs; Francesco Parisi-Presicce (Theor. Comput. Sci., 1990)

ACT TWO: An Algebraic Module Specification and Interconnection Language. - Werner Fey (AMAST, 1991)

Towards a Formally Based Component Description Language. - Joachim Cramer; Werner Fey; Michael Goedicke; Martin Große-Rhode (TAPSOFT, Vol.2, 1991)

On the Relationship Between Algebraic Module Specifications and Program Modules. - Michael Löwe; Hartmut Ehrig; Werner Fey; Dean Jacobs (TAPSOFT, Vol.2, 1991)

Towards a Formally Based Component Description Language - A Foundation for Reuse. - Joachim Cramer; Werner Fey; Michael Goedicke; Martin Große-Rhode (Struct. Program., 1991)