Ethan Fast, Colleen Lee, Alex Aiken, Michael S. Bernstein, Daphne Koller, Eric Smith: Crowd-scale interactive formal reasoning and analytics. UIST 2013: 363-372