J. Du Croz and M. Pont, "The Development of a Floating-Point Validation Package". (Not received in time for publication), Proceedings of the 8^th IEEE Symposium on Computer Arithmetic, Villa Olmo, Como, Italy, May 19-21, 1987