APA (7th ed.) Citation

Fürst, A., Hoang, T. S., Basin, D., Sato, N., & Miyazaki, K. (2016). Large-scale system development using Abstract Data Types and refinement. Science of Computer Programming, 131, 59. https://doi.org/10.1016/j.scico.2016.04.010

Chicago Style (17th ed.) Citation

Fürst, Andreas, Thai Son Hoang, David Basin, Naoto Sato, and Kunihiko Miyazaki. "Large-scale System Development Using Abstract Data Types and Refinement." Science of Computer Programming 131 (2016): 59. https://doi.org/10.1016/j.scico.2016.04.010.

MLA (9th ed.) Citation

Fürst, Andreas, et al. "Large-scale System Development Using Abstract Data Types and Refinement." Science of Computer Programming, vol. 131, 2016, p. 59, https://doi.org/10.1016/j.scico.2016.04.010.