TY - RPRT TI - Expressiveness and Extensions of an Instruction Sequence Semigroup AU - Stephan Schroevers PY - 2010 UR - https://arxiv.org/abs/1003.1572 ID - 1003.1572 ER -