Predicate transformer semantics - Manes, Ernest G., 1943- (Cambridge ; New York : Cambridge University Press, 2004)
Includes bibliographical references and index.
Keywords: Programming languages (Electronic computers) -- Semantics; Computer science -- Mathematics