An Implementation of Syntax Directed Functional Programming on Nested-Stack Machines. - Heinz Faßbender; Heiko Vogler (Formal Aspects Comput., 1992)

Implementation of a Universal Unification Algorithm for Macro Tree Transducers. - Heinz Faßbender (FCT, 1993)

A Universal Unification Algorithm Based on Unification-Driven Leftmost Outermost Narrowing. - Heinz Faßbender; Heiko Vogler (Acta Cybern., 1994)

Implementation of a UU-Algorithm for Primitive Recursive Tree Functions. - Heinz Faßbender (FCT, 1995)

A Verified Implementation of Narrowing - Heinz Faßbender (PLILP, 1995)

E-Unifikation für primitiv-rekursive Baumfunktionen: Semantik und Implementierung. - Heinrich Faßbender (Shaker, 1995)

Implementation of a Deterministic Partial E-Unification Algorithm for Macro Tree Transducers. - Heinz Faßbender; Andrea Mößle; Heiko Vogler (J. Funct. Log. Program., 1996)

A Strict Border for the Decidability of E-Unification for Recursive Functions. - Heinz Faßbender; Sebastian Maneth (J. Funct. Log. Program., 1998)

Applying Ada, Java and CORBA for making a command and control information system platform independent. - Gerhard Bühler; Heinz Faßbender (SIGAda, 1999)

Reengineering an Ada95-programmed command and control information system by using UML. - Heinz Faßbender (SIGAda, 2001)