Michael T. Compton
Five Stones Software, Ottawa, Ont., Canada
Error free code: is it attainable?
ACM SIGPLAN Notices