Linear iterative pushdowns /
Weir, David J.
University of Sussex.School of Cognitive Science and Computing Sciences.
Brighton : University of Sussex, School of Cognitive and Computing Sciences,
1993.