Jan A. Bergstra Decision Problems Concerning Parallel Programming. 134-142 1978 conf/mfcs/1978 MFCS db/conf/mfcs/mfcs78.html#Bergstra78 http://dx.doi.org/10.1007/3-540-08921-7_62