David E Hudak and Santosh G Abraham , Compiling Parallel Loops for High Performance Computers: Partitioning, Data Assignment and Remapping, Kluwer Academic, Dordrecht, The Netherlands (1992) ISBN 0 7923 9283 3, p. 176 £37.25. - Edgar F. A. Lederer (Microprocess. Microsystems, 1993)

SPINET: A Parallel Computing Approach to Spine Simulations. - Peter G. Kropf; Edgar F. A. Lederer; Thomas Steffen; Karl Guggisberg; Jean-Guy Schneider; Peter Schwab (Sci. Program., 1996)

Two-Stage Programming. - Edgar F. A. Lederer; Romeo A. Dumitrescu (Fuji International Symposium on Functional and Logic Programming, 1998)

Specification-consistent coordination model for computations. - Edgar F. A. Lederer; Romeo A. Dumitrescu (SAC, 1998)

Two-Stage Programming of Parallel and Distributed Applications. - Romeo A. Dumitrescu; Edgar F. A. Lederer (Applied Informatics, 1999)

Reliable and Efficient Matrix Processing with the Specification-Consistent Coordination Model. - Romeo A. Dumitrescu; Edgar F. A. Lederer (SAC, 1999)

Automatic Result Verification by Complete Run-Time Checking of Computations. - Edgar F. A. Lederer; Romeo A. Dumitrescu (Int. J. Found. Comput. Sci., 2001)