Quantifying the Benefits of Semantics. - Gregory D. Speegle; Andrew L. Gordon (ACM Conference on Computer Science, 1992)