1. Formal methods applied to a floating-point number system;Barrett;IEEE Transactions on Software Engineering,1989
2. Interpretation of IEEE-854 floating-point standard and definition in the HOL system;Carreño;NASA Technical Memorandum,1995
3. Specification of the IEEE-854 floating-point standard in HOL and PVS;Carreño,1995
4. A proposed radix-and word-length-independent standard for floating-point arithmetic;Cody;IEEE Micro,1984
5. HOL: A proof generating system for higher-order logic;Gordon,1988