APA citiranje

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

Chicago Style (17th ed.) Citation

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

MLA citiranje

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

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