Chakraborty, S., & Vafeiadis, V. (2019). Grounding Thin-Air Reads with Event Structures. Proceedings of the ACM on Programming Languages, 3, POPL: 70. doi:10.1145/3290383.