PROOF/L A functional, object-oriented language with implicit parallelism. [J Parallel Dist Comp 12:202-212 (1991)]. [Forthcoming Technical Report from RADC]. (1994-10-31)