Bev Littlewood The Use of Proof in Diversity Arguments. 1022-1023 2000 26 IEEE Trans. Software Eng. 10 http://doi.ieeecomputersociety.org/10.1109/32.879822 db/journals/tse/tse26.html#Littlewood00