APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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