Towards an Operational Semantics for a Parallel Non-strict Functional Language (1998)

by Jon G. Hall, Clem Baker-finch, Phil Trinder, David J. King