Turon, A., Vafeiadis, V., & Dreyer, D. (2014). GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation. In OOPSLA'14 (pp. 691-707). New York, NY: ACM. doi:10.1145/2660193.2660243.