zbMath0279.68060MaRDI QIDQ4766063
Michael A. Harrison
Publication date: 1973
Mathematics Subject Classification ID
68Q45: Formal languages and automata