APA (7th ed.) Citation

Dauphin, M., Fonade, G., & Reed, R. (1993). Specs: Making formal techniques usable. IEEE Software, 10, 55. https://doi.org/10.1109/52.241969

Chicago Style (17th ed.) Citation

Dauphin, Michel, Georges Fonade, and Rick Reed. "Specs: Making Formal Techniques Usable." IEEE Software 10 (1993): 55. https://doi.org/10.1109/52.241969.

MLA (9th ed.) Citation

Dauphin, Michel, et al. "Specs: Making Formal Techniques Usable." IEEE Software, vol. 10, 1993, p. 55, https://doi.org/10.1109/52.241969.