Mezzina, Claudio Antares and Pérez, Jorge A.  Causally consistent reversible choreographies: a monitors-as-memories approach.  In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, October 9-12 2017, Namur, Belgium pp. 127-138.  ISBN 978-1-4503-5291-8.      (2017)