Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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.