Mathematical Foundations of Programming Semantics

@inproceedings{1989MathematicalFO,
  title={Mathematical Foundations of Programming Semantics},
  author={},
  booktitle={Lecture Notes in Computer Science},
  year={1989}
}