APA (7th ed.) Citation

Turski, W. a. a., & Maibaum, T. S. E. (1987). The specification of computer programs. Addison-Wesley.

Chicago Style (17th ed.) Citation

Turski, W adys aw, and Thomas S. E. Maibaum. The Specification of Computer Programs. Wokingham, England ; Reading, Mass.: Addison-Wesley, 1987.

MLA (9th ed.) Citation

Turski, W adys aw, and Thomas S. E. Maibaum. The Specification of Computer Programs. Addison-Wesley, 1987.