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

Rittri, M. (1990). Searching program libraries by type and proving compiler correctness by bisimulation. Univ..

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

Rittri, Mikael. Searching Program Libraries by Type and Proving Compiler Correctness by Bisimulation. Göteborg: Univ., 1990.

توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)

Rittri, Mikael. Searching Program Libraries by Type and Proving Compiler Correctness by Bisimulation. Univ., 1990.