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