A compiler generator (Prentice-Hall series in automatic computation)