The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott’s reflexive domains and where jumps are described without continuations.