LePage, R. .; Holroyd, P. N. Adventures in Interactive Compilation. IHR 2015, 66.