APA Citation

Kwiatkowska, M. Z., Shields, M. W., & Thomas, R. M. (1990). Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23–25 July 1990, University of Leicester, UK (1st ed. 1990.). London: Springer London.

Chicago Style Citation

Kwiatkowska, Marta Z., Michael W. Shields, and Richard M. Thomas. Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored By Logic for IT (S.E.R.C.), 23–25 July 1990, University of Leicester, UK. 1st ed. 1990. London: Springer London, 1990.

MLA Citation

Kwiatkowska, Marta Z., Michael W. Shields, and Richard M. Thomas. Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored By Logic for IT (S.E.R.C.), 23–25 July 1990, University of Leicester, UK. 1st ed. 1990. London: Springer London, 1990.