Optimized concurrent execution of an applicative language - Tanaka, Jiro (1984)