Pavlovic, D., Mislove, M., & Worrell, J. (2006). Testing semantics: Connecting processes and process logics. Springer Verlag.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Pavlovic, D., M. Mislove, và J. Worrell. Testing Semantics: Connecting Processes and Process Logics. Springer Verlag, 2006.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Pavlovic, D., et al. Testing Semantics: Connecting Processes and Process Logics. Springer Verlag, 2006.
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%.