APA citiranje

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

Chicago Style (17th ed.) Citation

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

MLA citiranje

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

Opozorilo: Ti citati niso vedno 100% točni.