Цитирование APA (7-е изд.)

(1997). Abstract datatypes in PVS Sam Owre and Natarajan Shankar. [microform].

Цитирование в стиле Чикаго (17-е изд.)

Abstract Datatypes in PVS Sam Owre and Natarajan Shankar. [microform]. 1997.

Цитирование MLA (9-е изд.)

Abstract Datatypes in PVS Sam Owre and Natarajan Shankar. [microform]. 1997.

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.