Internally deterministic parallel algorithms can be fast
MULTILISP: a language for concurrent symbolic computation