Mathematical Foundations of Programming Semantics

by S. Brookes, Michael Mislove, David Schmidt