Torres Lopez, Carmen, et al. “Multiverse Debugging : Non-Deterministic Debugging for Non-Deterministic Programs.” 33rd European Conference on Object-Oriented Programming (ECOOP 2019), edited by Alastair F Donaldson, vol. 134, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 27:1-27:30, doi:10.4230/LIPIcs.ECOOP.2019.27.