Title: Interpretation of IEEE-854 floating-point standard and definition in the HOL system
First published: 1995