A programming methodology in compiler construction. - Lewi, Johan (rz1, 1979)