Thomas Johnsson Parallel Evaluation of Functional Programs: The (v, G)-Machine Approach. 1-5 1991 conf/parle/1991-1 PARLE (1) db/conf/parle/parle91-1.html#Johnsson91 http://dx.doi.org/10.1007/BFb0035092