S. Harris, S. Cooksey, M. Vollmer, and M. Batty. ECOOP, volume 263 of LIPIcs, page 39:1-39:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)
S. Vollmer, and R. Ho. DIONE, volume 378 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 328-347. Springer, (2021)