APA (7th ed.) Citation

Broy, M., & Stølen, K. (2001). Specification and development of interactive systems: FOCUS on streams, interfaces, and refinement. Springer.

Chicago Style (17th ed.) Citation

Broy, M., and Ketil Stølen. Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces, and Refinement. New York: Springer, 2001.

MLA (9th ed.) Citation

Broy, M., and Ketil Stølen. Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces, and Refinement. Springer, 2001.