"Instruction Sequences for Computer Science" - читать интересную книгу автора (Jan A. Bergstra, Cornelis A. Middelburg)