@article{DBLP:journals/cacm/ParnasSK90,
author = {David Lorge Parnas and
A. John van Schouwen and
Shu Po Kwan},
title = {Evaluation of Safety-Critical Software},
journal = {Commun. ACM},
volume = {33},
number = {6},
year = {1990},
pages = {636-648},
ee = {http://doi.acm.org/10.1145/78973.78974},
bibsource = {DBLP, http://dblp.uni-trier.de}
}