Tutorial: Specifying, Implementing, and Verifying Algorithms for Persistent Memory - Cepeda, D; Chowdhury, S; Golab, W (Proceedings Of The 2019 Acm Symposium On Principles Of Distributed Computing (Podc '19), 2019)