Instruction Sequences for Computer Science - Bergstra, Jan A. (Atlantis Press, 2012)