Robin A. Nicholl, Maurice Clint, David Gray, Tina M. Nicholl. The use of functional annotations in verifying imperative programs. IEE Proceedings - Software, 5(5):280-288, 1990. [doi]
@article{NichollCGN90,
title = {The use of functional annotations in verifying imperative programs},
author = {Robin A. Nicholl and Maurice Clint and David Gray and Tina M. Nicholl},
year = {1990},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=62658},
researchr = {https://researchr.org/publication/NichollCGN90},
cites = {0},
citedby = {0},
journal = {IEE Proceedings - Software},
volume = {5},
number = {5},
pages = {280-288},
}