Ian J. Hayes, Steve Dunne, Larissa Meinicke. Linking Unifying Theories of Program refinement. Science of Computer Programming, 78(11):2086-2107, 2013. [doi]
@article{HayesDM13,
title = {Linking Unifying Theories of Program refinement},
author = {Ian J. Hayes and Steve Dunne and Larissa Meinicke},
year = {2013},
doi = {10.1016/j.scico.2012.07.010},
url = {http://dx.doi.org/10.1016/j.scico.2012.07.010},
researchr = {https://researchr.org/publication/HayesDM13},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {78},
number = {11},
pages = {2086-2107},
}