Instruction Sequences for Computer Science