Conclave: writing programs to understand programs - Carvalho, Nuno Ramos (2014)