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 august 14, 2026. https://tidsskrift.dk/brics/article/view/20111.