Bodentien, Nicky O., Jacob Vestergaard, Jacob Friis, Kåre J. Kristoffersen, og Kim G. Petersen. “Verification of State Event Systems by Quotienting”. BRICS Report Series 6, no. 41 (december 11, 1999). Set december 5, 2025. https://tidsskrift.dk/brics/article/view/20111.