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

Dingel, J. Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. Software engineering notes..

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

Dingel, Juergen. "Automating Comprehensive Safety Analysis of Concurrent Programs Using Verisoft and TXL." Software Engineering Notes. .

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

Dingel, Juergen. "Automating Comprehensive Safety Analysis of Concurrent Programs Using Verisoft and TXL." Software Engineering Notes., .