W. J. Cullyer, S. J. Goodenough, Brian A. Wichmann. The choice of computer languages for use in safety-critical systems. IEE Proceedings - Software, 6(2):51-58, 1991. [doi]
@article{CullyerGW91,
title = {The choice of computer languages for use in safety-critical systems},
author = {W. J. Cullyer and S. J. Goodenough and Brian A. Wichmann},
year = {1991},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=73717},
researchr = {https://researchr.org/publication/CullyerGW91},
cites = {0},
citedby = {0},
journal = {IEE Proceedings - Software},
volume = {6},
number = {2},
pages = {51-58},
}