POLAK,WOLFGANG COMPILER SPECIFICATION AND VERIFICATION - 1 - BERLIN SV 1981 - 269 ISBN: NCST 114.15 Dewey Class. No.: 612