"Program Construction: Calculating Implementations from Specifications" - читать интересную книгу автора (Roland Backhouse)