Hypergrammars: An extension of macrogrammars (Q1234592)

From MaRDI portal