(1995). Defining the IEEE-854 floating-point standard in PVS / Paul S. Miner.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Defining the IEEE-854 Floating-point Standard in PVS / Paul S. Miner. 1995.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Defining the IEEE-854 Floating-point Standard in PVS / Paul S. Miner. 1995.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.