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