Mathematical Foundations of Programming Language SemanticsMichael Main, Austin Melton, Michael Mislove · First published 2014Open the Tome