Alan M. Davis 4-13 1995 12 IEEE Software 1 http://www.computer.org:80/software/so1995/s1004abs.htm db/journals/software/software12.html#Davis95