DAP-Algol: A Development System for Parallel Algorithms. - L. M. Delves; S. C. Mawdsley (Comput. J., 1985)