AB48.1.5
AB48.1.5 Michel Simonet: W-Grammars and First-order Logic for the definition and implementation of Languages - Abstract, page 5
Pages 5-6