Stephen D. Brookes A Category-Theoretic Treatment of a Parallel Algol-Like Language. 180-181 1995 conf/ctcs/1995 Category Theory and Computer Science db/conf/ctcs/ctcs1995.html#Brookes95