Trích dẫn kiểu APA (xuất bản lần thứ 7)

Tari, Z., Mukherjee, A., & Bertók, P. (2014). Verification of communication protocols in web services: Model-checking service compositions. Wiley.

Trích dẫn kiểu Chicago (xuất bản lần thứ 7)

Tari, Zahir, Anshuman Mukherjee, và Péter Bertók. Verification of Communication Protocols in Web Services: Model-checking Service Compositions. Hoboken, New Jersey: Wiley, 2014.

Trích dẫn kiểu MLA (xuất bản lần thứ 9)

Tari, Zahir, et al. Verification of Communication Protocols in Web Services: Model-checking Service Compositions. Wiley, 2014.

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.