Application of the Polytope Model to Functional Programs. - Nils Ellmenreich; Christian Lengauer; Martin Griebl (LCPC, 1999)

PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines. - Nils Ellmenreich; Christian Lengauer (IFL, 2002)

PolyAPM - comparative parallel programming with abstract parallel machines. - Nils Ellmenreich (2004)

Costing stepwise refinements of parallel programs. - Nils Ellmenreich; Christian Lengauer (Comput. Lang. Syst. Struct., 2007)