| Titel | Art | | ISBN-13 | Erschei- nungsjahr | andere Autoren |
| Categorical Perspectives | Hardcover | | 978-0-8176-4186-3 | 2001 | Jürgen Koslowski |
| Mathematical Foundation of Programming Semantics: International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings | Taschenbuch | | 978-3-540-16816-4 | 2008 |
| Mathematical Foundations of Programming Language Semantics: 3rd Workshop | Paperback | | 978-0-387-19020-4 | 1988 | M. Main · M. Mislove |
| Mathematical Foundations of Programming Language Semantics: 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 Proceedings | " | | 978-3-662-21353-7 | 2014 | Michael Main · Michael Mislove |
| Mathematical Foundations of Programming Language Semantics: 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 Proceedings | Taschenbuch | | 978-3-540-19020-2 | 1988 | Michael Main · Michael Mislove · David Schmidt |
| Mathematical Foundations of Programming Semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings | Broschiert | | 978-3-540-55511-7 | 2008 | David Schmidt · Stephen Brookes · Michael Mislove · Michael Main |
| Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings | Taschenbuch | | 978-3-540-58027-0 | 2009 | Stephen Brookes · Michael Main · David Schmidt · Michael Mislove |
| Mathematical Foundations of Programming Semantics | Paperback | | 978-0-387-16816-6 | 1986 |
| Software Measurement: Understanding Software Engineering | " | | 978-0-412-55180-2 | 1994 |