Robert M. Keller Some Theoretical Aspects of Applicative Multiprocessing. 58-74 1980 conf/mfcs/1980 MFCS db/conf/mfcs/mfcs80.html#Keller80 http://dx.doi.org/10.1007/BFb0022495