Partial computation and the construction of language processors - Pagan, Frank G. (Prentice-Hall software series, 1991)