Helmut K. Berg Prakash Rao Bruce D. Shriver Firmware quality assurance. 3-10 1982 AFIPS National Computer Conference http://doi.acm.org/10.1145/1500774.1500776 conf/afips/1982 db/conf/afips/ncc82.html#BergRS82