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