Citazione Stile APA (7a Edizione)

(1999). The formal semantics of PVS Sam Owre and Natarajan Shankar. [microform].

Citazione stile Chigago Style (17a edizione)

The Formal Semantics of PVS Sam Owre and Natarajan Shankar. [microform]. 1999.

Citatione MLA (9a ed.)

The Formal Semantics of PVS Sam Owre and Natarajan Shankar. [microform]. 1999.

Attenzione: Queste citazioni potrebbero non essere precise al 100%.