Liu, J. (2001). Linking integrated formal method with UML.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Liu, Jing. Linking Integrated Formal Method with UML. 2001.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Liu, Jing. Linking Integrated Formal Method with UML. 2001.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.