Rozilawati Razali. (2008). Usability of semi-formal and formal methods integration: Empirical assessments. University of Southampton.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Rozilawati Razali. Usability of Semi-formal and Formal Methods Integration: Empirical Assessments. [United Kingdom]: University of Southampton, 2008.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Rozilawati Razali. Usability of Semi-formal and Formal Methods Integration: Empirical Assessments. University of Southampton, 2008.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.