Instruction sequences for computer science by