"Unifying Theories of Programming, 1 conf., UTP 2006" - читать интересную книгу автора (Steve Dunne, Bill Stoddart)