Speculative concurrent evaluation in a lazy functional language. - Iain Gavin Checkland (1994)