Marco Servetto Lindsay Groves True small-step reduction for imperative object oriented languages. 1:1-1:7 2013 FTfJP@ECOOP https://doi.org/10.1145/2489804.2489805 https://www.wikidata.org/entity/Q130952682 conf/ecoop/2013ftfjp db/conf/ecoop/ftfjp2013.html#ServettoG13