(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%.