Rebelo. Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs. Association for Computing Machinery (ACM).
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Rebelo. Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs. Association for Computing Machinery (ACM).
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Rebelo. Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs. Association for Computing Machinery (ACM).
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.