  A general theory of programs, programming and programming languages built up
from a few concepts of elementary set theory. Derives, as theorems, properties
treated as axioms by classic approaches to programming. Covers sequential and
concurrent computation.
