Susan Stepney, Dave Whitely, David Cooper, Colin Grant. A Demonstrably Correct Compiler. Formal Asp. Comput., 3(1):58-101, 1991.
@article{StepneyWCG91, title = {A Demonstrably Correct Compiler}, author = {Susan Stepney and Dave Whitely and David Cooper and Colin Grant}, year = {1991}, tags = {compiler}, researchr = {https://researchr.org/publication/StepneyWCG91}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {3}, number = {1}, pages = {58-101}, }