(2020). Formal methods in computer science / Jiacun Wang, William Tepfenhart.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Formal Methods in Computer Science / Jiacun Wang, William Tepfenhart. 2020.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Formal Methods in Computer Science / Jiacun Wang, William Tepfenhart. 2020.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.