L. Aceto, D. de F. Escrig, and A. Ingólfsdóttir, “Trace simulation semantics is not finitely based over BCCSP”, Acta Cybern, vol. 23, no. 1, pp. 81-90, Jan. 2017.