B. Raghavan, “Abstraction, indirection, and Sevareid’s Law: Towards benign computing”, FM, vol. 20, no. 8, Jul. 2015.