One counter languages and the chevron operation S. A. Greibach — 1979 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
A note on the recognition of one counter languages S. A. Greibach — 1975 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
A note on NSPACE ( log 2 n ) and substitution S. A. Greibach — 1977 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
The strong independence of substitution and homomorphic replication S. A. Greibach — 1978 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Single-tape reset machines S. A. Greibach; C. Wrathall — 1986 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications