Jan A. Bergstra Alban Ponse An Instruction Sequence Semigroup with Repeaters http://arxiv.org/abs/0810.1151 2008 CoRR abs/0810.1151 db/journals/corr/corr0810.html#abs-0810-1151 informal publication