L. Aceto, W. J. Fokkink, and A. Ingólfsdóttir, “A Menagerie of Non-Finitely Based Process Semantics over BPA*: From Ready Simulation Semantics to Completed Traces”, BRICS, vol. 3, no. 23, Jan. 1996.