David S. Gladstein, Mitchell Wand: Compiler Correctness for Concurrent Languages. COORDINATION 1996: 231-248