Nissim Francez, Michael Kaminski. Pushdown automata with cancellation and commutation-augmented pregroups grammars. In Remco Loos, Szilárd Zsolt Fazekas, Carlos Martín-Vide, editors, LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications. Volume Report 35/07 of pages 7-26, Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona, 2007.