Functional development of massively parallel programs (1993)

by P Pepper, J Exner, M Sudholt
Venue:Formal Methods in Programming and Their Applications. LNCS 735