Formal grammar theory and implementation (Oxford Univ. Press, 1992)