S. Halan, I. Sia, A. Miles, M. Crary, and B. Lok. AAMAS, page 1675-1683. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM, (2018)
D. Lee, K. Crary, and R. Harper. POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 173-184. New York, NY, USA, ACM Press, (2007)