Formal Semantics, Foundations of Computing Series