Robert Giegerich. A Formal Framework for the Derivation of Machine-Specific Optimizers. ACM Transactions on Programming Languages and Systems, 5(3):478-498, 1983. [doi]
@article{Giegerich83, title = {A Formal Framework for the Derivation of Machine-Specific Optimizers}, author = {Robert Giegerich}, year = {1983}, doi = {10.1145/2166.357219}, url = {http://doi.acm.org/10.1145/2166.357219}, tags = {optimization}, researchr = {https://researchr.org/publication/Giegerich83}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {5}, number = {3}, pages = {478-498}, }