Aceto, Luca, m.fl. “A Menagerie of Non-Finitely Based Process Semantics over BPA*: From Ready Simulation Semantics to Completed Traces”. BRICS Report Series, bd. 3, nr. 23, januar 1996, doi:10.7146/brics.v3i23.20003.