Compiler Specification And Verification
Publisher: Springer
Published: 1981
ISBN-13: 9783540108863