Michael MisloveBooksMathematical Foundations of Programming SemanticsMathematical Foundations of Programming Language SemanticsAuthor data: Open Library