Стиль цитування APA (7-ме видання)

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

Чикаго стиль цитування (17-те видання)

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

Стиль цитування MLA (9-ме видання)

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

Попередження: стилі цитування не завжди правильні на всі 100%.