An ω-complete equational specification of interleaving (2000)

by W Fokkink, B Luttik
Venue:in: Proceedings 27th Colloquium on Automata, Languages and Programming (ICALP’00), LNCS