Initial Algebraic Semantics for Non Context-Free Languages. - Heinz Kaphengst; Horst Reichel (FCT, 1977)

Initially-Restricting Algebraic Theories. - Horst Reichel (MFCS, 1980)

On Behavioural Equivalence of Data Types. - Ulrich L. Hupbach; Horst Reichel (J. Inf. Process. Cybern., 1983)

Behavioral Program Specification. - Horst Reichel (CTCS, 1985)

Computable Functional Enrichments of Parameterized Behavioural Data Types. - Horst Reichel (ADT, 1986)

Operational Semantics of Behavioural Canons based on Narrowing. - Horst Reichel (ADT, 1987)

Software Specification by Behavioural Canons. - Horst Reichel (Algebraic Methods, 1987)

A Two-Category Approach to Critical Pair Completion. - Horst Reichel (ADT, 1990)

Defining Equations in Terminal Coalgebras. - Ulrich Hensel; Horst Reichel (COMPASS/ADT, 1994)

An Approach to Object Semantics based on Terminal Co-Algebras. - Horst Reichel (Math. Struct. Comput. Sci., 1995)

Unifying ADT - and Evolving Algebra Specifications. - Horst Reichel (Bull. EATCS, 1996)

Workshop: Grundlagen der Parallelität. - Jörg Desel; Horst Reichel (GI Jahrestagung, 1997)

Preface. - Bart Jacobs 001; Larry Moss; Horst Reichel; Jan J. M. M. Rutten (CMCS, 1998)

Dialgebraic Logics. - Horst Reichel (CMCS, 1998)

A Uniform Model Theory for the Specification of Data and Process Types. - Horst Reichel (WADT, 1999)

From Total Equational to Partial First-Order Logic. - Maura Cerioli; Till Mossakowski; Horst Reichel (Algebraic Foundations of Systems Specification, 1999)

Specification Semantics. - Horst Reichel (Algebraic Foundations of Systems Specification, 1999)

Preface. - Horst Reichel (CMCS, 2000)

Foreword : Coalgebraic Methods in Computer Science 1998. - Bart Jacobs 001; Larry Moss; Horst Reichel; Jan J. M. M. Rutten (Theor. Comput. Sci., 2001)

Algebraic-Coalgebraic Specification in Co Casl. - Till Mossakowski; Horst Reichel; Markus Roggenbach; Lutz Schröder (WADT, 2002)

An Algebraic Approach to Regular Sets. - Horst Reichel (Essays Dedicated to Joseph A. Goguen, 2006)

Algebraic-coalgebraic specification in CoCasl. - Till Mossakowski; Lutz Schröder; Markus Roggenbach; Horst Reichel (J. Log. Algebraic Methods Program., 2006)

Forschung zu Abstrakten Datentypen im ZFT des Kombinates ROBOTRON. - Horst Reichel (Informatik in der DDR, 2008)