Expressiveness and Extensions of an Instruction Sequence Semigroup - Stephan Schroevers (CoRR, 2010)

Towards automated library migrations with error prone and refaster. - Rick Ossendrijver; Stephan Schroevers; Clemens Grelck (SAC, 2022)