SpringerLink (Online service), International Conference on the Mathematical Foundations of Programming Semantics, Brookes, S. D., Main, M., Melton, A., Mislove, M. W., & Schmidt, D. (1994). Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7-10, 1993 Proceedings. Springer-Verlag.
Chicago Style (17th ed.) CitationSpringerLink (Online service), International Conference on the Mathematical Foundations of Programming Semantics, S. D. Brookes, Michael Main, Austin Melton, Michael W. Mislove, and David Schmidt. Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7-10, 1993 Proceedings. Berlin: Springer-Verlag, 1994.
MLA (9th ed.) CitationSpringerLink (Online service), et al. Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7-10, 1993 Proceedings. Springer-Verlag, 1994.