This file is deprecated. See the file
IEEE references
instead.