Semantics: Foundations and Applications 
Subtitle: Rex Workshop Beekbergen, the Netherlands, June 1-4, 1992 Proceedings (Lecture Notes in Computer Science)
Contributors: G. Rozenberg (Editor)
Publisher: Springer
Published: June 1993
Number of pages: 667
ISBN-13: 9780387565965
First sentence: Statements of a programming language can be given a semantics by associating every statement with a predicate transformer, i.e., a function mapping predicates to predicates.