Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (8a ed.)

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