Holger Bock Axelsen: Clean Translation of an Imperative Reversible Programming Language. CC 2011: 144-163