H. Gerstmann Hans Diel W. Witzel The Reliability of Programming Systems. 87-113 1974 conf/ibm/1974 Programming Methodology db/conf/ibm/pm1974.html#GerstmannDW74 http://dx.doi.org/10.1007/3-540-07131-8_23