Categorial semantics of parallel program design (1997)

by J L Fiadeiro, T Maibaum
Venue:Science of Computer Programming