Garriga. (2013). Formal Methods for Mining Structured Objects (1.). Springer Berlin Heidelberg.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Garriga. Formal Methods for Mining Structured Objects. 1. Springer Berlin Heidelberg, 2013.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Garriga. Formal Methods for Mining Structured Objects. 1. Springer Berlin Heidelberg, 2013.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.