Rittri, M. (1990). Searching program libraries by type and proving compiler correctness by bisimulation. Univ..
Citação do estilo Chicago (17ª ed.)Rittri, Mikael. Searching Program Libraries by Type and Proving Compiler Correctness by Bisimulation. Göteborg: Univ., 1990.
Citação MLA (8ª ed.)Rittri, Mikael. Searching Program Libraries by Type and Proving Compiler Correctness by Bisimulation. Univ., 1990.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.