Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla Formal Grammar - Springer 2016 - Lecture Notes in Computer Science . ISBN: 9783662530429 Subjects--Index Terms: Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation; Artificial Intelligence (incl. Robotics); Computation by Abstract Devices; Logics and Meanings of Programs