Formal grammar theory and implementation - Levine, Robert, (Vancouver studies in cognitive science ;, 1992)