Michael A. Palis Sunil M. Shende Pumping Lemmas for the Control Language Hierarchy. 199-213 1995 28 3 Mathematical Systems Theory db/journals/mst/mst28.html#PalisS95