SpringerLink (Online service), Cortellessa, V., Pierantonio, A., & Bernardo, M. (2012). Formal methods for model-driven engineering: 12th International school on formal methods for the design of computer, communication, and software systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures. Springer Berlin Heidelberg.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)SpringerLink (Online service), Vittorio Cortellessa, Alfonso Pierantonio, و Marco Bernardo. Formal Methods for Model-driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)SpringerLink (Online service), et al. Formal Methods for Model-driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures. Springer Berlin Heidelberg, 2012.