Eric C. R. Hehner. Retrospective and Prospective for Unifying Theories of Programming. In Steve Dunne, Bill Stoddart, editors, Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers. Volume 4010 of Lecture Notes in Computer Science, pages 1-17, Springer, 2006. [doi]
@inproceedings{Hehner06,
title = {Retrospective and Prospective for Unifying Theories of Programming},
author = {Eric C. R. Hehner},
year = {2006},
doi = {10.1007/11768173_1},
url = {http://dx.doi.org/10.1007/11768173_1},
tags = {C++, programming},
researchr = {https://researchr.org/publication/Hehner06},
cites = {0},
citedby = {0},
pages = {1-17},
booktitle = {Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers},
editor = {Steve Dunne and Bill Stoddart},
volume = {4010},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-34750-X},
}