توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

SpringerLink (Online service) & Drechsler, R. (2018). Formal system verification: State-of-the-art and future trends. Springer International Publishing AG. https://doi.org/10.1007/978-3-319-57685-5

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

SpringerLink (Online service) و Rolf Drechsler. Formal System Verification: State-of-the-art and Future Trends. Cham: Springer International Publishing AG, 2018. https://doi.org/10.1007/978-3-319-57685-5.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

SpringerLink (Online service) و Rolf Drechsler. Formal System Verification: State-of-the-art and Future Trends. Springer International Publishing AG, 2018. https://doi.org/10.1007/978-3-319-57685-5.