Instruction Sequences for Computer Science - Bergstra, Jan A.; Middelburg, Cornelis A. (Atlantis Press : Imprint: Atlantis Press, 2012)