A programming methodology in compiler construction - Lewi, J, 1939- (North-Holland, 1979)