David S. Wile. Program Developments: Formal Explanations of Implementations. Communications of the ACM, 26(11):902-911, 1983. [doi]
@article{Wile83, title = {Program Developments: Formal Explanations of Implementations}, author = {David S. Wile}, year = {1983}, doi = {10.1145/182.358443}, url = {http://dx.doi.org/10.1145/182.358443}, researchr = {https://researchr.org/publication/Wile83}, cites = {0}, citedby = {0}, journal = {Communications of the ACM}, volume = {26}, number = {11}, pages = {902-911}, }