Bradley R. Engstrom, Peter R. Cappello: The SDEF Programming System. J. Parallel Distributed Comput. 7(2): 201-231 (1989)