On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion
scientific article; zbMATH DE number 5694915
scientific article