Bisimulation is not finitely (first order) equationally axiomatisable | IEEE Conference Publication | IEEE Xplore