Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (8th εκδ.)

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