Fast and loose reasoning is morally correct (0)

by N Danielsson, J Hughes, P Jansson, J Gibbons
Venue:In POPL ’06 (2006), ACM