APA (7th ed.) Zitazioa

(1995). Interpretation of IEEE-854 floating-point standard and definition in the HOL system / Victor A. Carreño.

Chicago Style (17th ed.) Zitazioa

Interpretation of IEEE-854 Floating-point Standard and Definition in the HOL System / Victor A. Carreño. 1995.

MLA (9th ed.) Zitazioa

Interpretation of IEEE-854 Floating-point Standard and Definition in the HOL System / Victor A. Carreño. 1995.

Kontuz: berrikusi erreferentzia hauek erabili aurretik.