"Semantics for Opaque Contexts" - читать интересную книгу автора (Ludwig Kirk)