Style de citation APA (7e éd.)

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

Style de citation Chicago (17e éd.)

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

Style de citation MLA (9e éd.)

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

Attention : ces citations peuvent ne pas être correctes à 100%.