Elias Dahlhaus Is SETL a Suitable Language for Parallel Programming - A Theoretical Approach. 56-63 1987 conf/csl/1987 CSL db/conf/csl/csl87.html#Dahlhaus87 http://dx.doi.org/10.1007/3-540-50241-6_29