APA (7th ed.) Citation

Turski, W., & 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.