Hwei-Jen Lin, Patrick S. P. Wang: Pushdown recognizers for Array Patterns. Array Grammars, Patterns and Recognizers 1989: 99-114