Grammar rules a new formalism for defining data types - Linnemann, Volker (Universität <Frankfurt, Main>, 1984)