Marco Servetto, Lindsay Groves. True small-step reduction for imperative object oriented languages. In Werner Dietl, editor, Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, July 1, 2013. ACM, 2013. [doi]
Abstract is missing.