Fast and loose reasoning is morally correct - Danielsson, N; Hughes, J; Jansson, P; Gibbons, J (ACM SIGPLAN Notices, 2006)