Anthony Hall, Roderick Chapman. Correctness by Construction: Developing a Commercial Secure System. IEEE Software, 19(1):18-25, 2002. [doi]
@article{HallC02,
title = {Correctness by Construction: Developing a Commercial Secure System},
author = {Anthony Hall and Roderick Chapman},
year = {2002},
url = {http://www.computer.org:80/software/so2002/s1018abs.htm},
researchr = {https://researchr.org/publication/HallC02},
cites = {0},
citedby = {0},
journal = {IEEE Software},
volume = {19},
number = {1},
pages = {18-25},
}