Andrew P. Black, Kim B. Bruce, Michael Homer, James Noble. Grace: the absence of (inessential) difficulty. In Gary T. Leavens, Jonathan Edwards, editors, ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2012, part of SPLASH '12, Tucson, AZ, USA, October 21-26, 2012. pages 85-98, ACM, 2012. [doi]