MoL-2010-06: Stephan Schroevers Expressiveness and Extensions of an Instruction Sequence Semigroup 1.Full Text, 2.Abstract. < Back
