Jonathan K. Lee, Jens Palsberg: Featherweight X10: a core calculus for async-finish parallelism. PPoPP 2010: 25-36