Aceto Luca; Escrig David de Frutos; Ingólfsdóttir Anna: Trace simulation semantics is not finitely based over BCCSP. In: Acta cybernetica, (23) 1. pp. 81-90. (2017)