A Programming methodology in compiler construction
North-Holland
1979