Formal grammar theory and implementation - Levine, Robert (Oxford University Press, 1992)