Walukiewicz, Igor. “Local Logics for Traces”. BRICS Report Series, bd. 7, nr. 2, januar 2000, doi:10.7146/brics.v7i2.20130.