Capkovic, Frantisek. “Modelling and Control of Discrete Event Dynamic Systems”. BRICS Report Series, bd. 7, nr. 26, januar 2000, doi:10.7146/brics.v7i26.20156.