Gilles Kahn The Semantics of Simple Language for Parallel Programming. 471-475 1974 IFIP Congress db/conf/ifip/ifip74.html#Kahn74