Abstracting Abstract Machines. - Danvy, Olivier; Midtgaard, Jan (Communications of the ACM, 2011)