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