@article{DBLP:journals/iandc/Boudol94,
author = {G{\'e}rard Boudol},
title = {Lambda-Calculi for (Strict) Parallel Functions},
journal = {Inf. Comput.},
volume = {108},
number = {1},
year = {1994},
pages = {51-127},
ee = {http://dx.doi.org/10.1006/inco.1994.1003},
bibsource = {DBLP, http://dblp.uni-trier.de}
}