Karl Dakin Warranties: Promising the Improbable. 105-106 1996 13 IEEE Software 2 http://www.computer.org:80/software/so1996/s2105abs.htm db/journals/software/software13.html#Dakin96a