π-Red+ - ein codeausführendes Reduktionssystem zur Transformation von Programmen eines angewandten λ-Kalküls. - Dietmar Gärtner (ARCS, 1992)

π-Red+: ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten λ-Kalküls. - Dietmar Gärtner (1992)

π-Red+ An Interactive Compiling Graph Reduction System for an Applied λ-Calculus. - Dietmar Gärtner; Werner E. Kluge (J. Funct. Program., 1996)