S. Nair, G. Petri, M. Shapiro : “Invariant Safety for Distributed Applications”, Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Dresden, Germany (2019)