Title: Formal methods applied to a floating point number system
First published: 1987