Bradley R. Engstrom Peter R. Cappello The SDEF Programming System. 201-231 1989 7 J. Parallel Distrib. Comput. 2 db/journals/jpdc/jpdc7.html#EngstromC89