APA (7th ed.) Citation

Nation, J., Trofimova, I., Rand, J. D., & Sulis, W. (2003). Formal Descriptions of Developing Systems. Springer Netherlands. https://doi.org/10.1007/978-94-010-0064-2

Chicago Style (17th ed.) Citation

Nation, James, Irina Trofimova, John D. Rand, and William Sulis. Formal Descriptions of Developing Systems. Dordrecht: Springer Netherlands, 2003. https://doi.org/10.1007/978-94-010-0064-2.

MLA (9th ed.) Citation

Nation, James, et al. Formal Descriptions of Developing Systems. Springer Netherlands, 2003. https://doi.org/10.1007/978-94-010-0064-2.