Formal Grammar - Groote, Philippe (Springer Berlin Heidelberg, 2011)