00314nam a2200121Ia 4500082002200000100002000022245004600042260003400088300001600122490004400138500000500182700000500187  a518.5425bP762.CS  aPolak, Wolfgang  aCompiler specification and verificationb  aBerlinbSpringer-Verlagc1981  axiii, 269p.  aLecture notes in Computer Sciencev 124  a  a