@inproceedings{baker-finch+king+trinder:icfp2000,
author="Clem Baker-Finch and David King and Phil Trinder",
title="An Operational Semantics for Parallel Lazy Evaluation",
booktitle="{ACM-SIGPLAN} International Conference on Functional Programming {(ICFP'00)}",
place="Montreal",
year=2000,
pages="162-173",
publisher="ACM"}