Helmut K. Berg Firmware testing and test data selection. 75-80 1981 AFIPS National Computer Conference http://doi.acm.org/10.1145/1500412.1500423 conf/afips/1981 db/conf/afips/ncc81.html#Berg81