Liu. (2013). Unifying Theories of Programming and Formal Engineering Methods (1.). Springer Berlin Heidelberg.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Liu. Unifying Theories of Programming and Formal Engineering Methods. 1. Springer Berlin Heidelberg, 2013.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Liu. Unifying Theories of Programming and Formal Engineering Methods. 1. Springer Berlin Heidelberg, 2013.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.