Pavlovic, D., Mislove, M., & Worrell, J. (2006). Testing semantics: Connecting processes and process logics. Springer Verlag.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Pavlovic, D., M. Mislove, و J. Worrell. Testing Semantics: Connecting Processes and Process Logics. Springer Verlag, 2006.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Pavlovic, D., et al. Testing Semantics: Connecting Processes and Process Logics. Springer Verlag, 2006.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.