Compilation of Narrowing. - Andy Mück (PLILP, 1990)

CAMEL: An Extension of the Categorial Abstract Machine to Compile Functional/Logic Programs. - Andy Mück (PLILP, 1992)

A lambda-Calculus with Logical Features. - Andy Mück (WLP, 1993)

A Tiny Constrain Functional Logic Language and Its Continuation Semantics. - Andy Mück; Thomas Streicher (ESOP, 1994)

Verifizierte Implementierung funktional-logischer Sprachen. - Andy Mück (WLP, 1995)

Eine verifizierte Implementierung funktional-logischer Programmiersprachen. - Andy Mück (Shaker, 1996)