Kristoffersen, Kåre J., Francois Laroussinie, Kim G. Petersen, Paul Pettersson, og Wang Yi. “A Compositional Proof of a Real-Time Mutual Exclusion Protocol”. BRICS Report Series 3, no. 55 (juni 25, 1996). Set december 5, 2025. https://tidsskrift.dk/brics/article/view/20058.