Experiences with the rigorous development of a parallel program.

D. R. W. Holton, J. D. M. McKeever, R. M. McKeag

Browse the full PDP paper archive.