Valid HTML 4.0! Valid CSS!
%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.17",
%%%     date            = "10 September 2021",
%%%     time            = "13:40:58 MDT",
%%%     filename        = "ieeestd.bib",
%%%     address         = "University of Utah
%%%                        Department of Mathematics, 110 LCB
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "06325 1277 5001 54001",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "bibliography; BibTeX; IEEE Standards",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This file records bibliographic data
%%%                        about IEEE Standards in computing systems.
%%%
%%%                        The IEEE maintains a World-Wide Web site
%%%                        about its Standards at
%%%
%%%                            http://standards.ieee.org/
%%%                            http://standards.ieee.org/catalog/services.html
%%%
%%%                        At version 1.17, the year coverage looked
%%%                        like this:
%%%
%%%                             1983 (   1)    1996 (   3)    2009 (   0)
%%%                             1985 (   1)    1998 (   4)    2011 (   0)
%%%                             1986 (   0)    1999 (   8)    2012 (   0)
%%%                             1987 (   2)    2000 (   6)    2013 (   0)
%%%                             1988 (   1)    2001 (   4)    2014 (   0)
%%%                             1989 (   0)    2002 (   0)    2015 (   1)
%%%                             1991 (   1)    2004 (   0)    2017 (   2)
%%%                             1992 (   4)    2005 (   0)    2018 (   0)
%%%                             1993 (   1)    2006 (   0)    2019 (   2)
%%%                             1994 (   4)    2007 (   0)    2020 (   1)
%%%                             1995 (   5)    2008 (   1)    2021 (   1)
%%%
%%%                             Article:          2
%%%                             Book:            50
%%%                             Misc:             1
%%%
%%%                             Total entries:   53
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================
@Preamble{"\input ieeestd.sty"}

%%% ====================================================================
%%% Acknowledgement abbreviations:
@String{ack-nhfb = "Nelson H. F. Beebe,
                    University of Utah,
                    Department of Mathematics, 110 LCB,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 581 4148,
                    e-mail: \path|beebe@math.utah.edu|,
                            \path|beebe@acm.org|,
                            \path|beebe@computer.org| (Internet),
                    URL: \path|http://www.math.utah.edu/~beebe/|"}

%%% ====================================================================
%%% Publisher abbreviations:
@String{pub-IEEE-STD            = "IEEE"}

@String{pub-IEEE-STD:adr        = "New York, NY, USA"}

%%% ====================================================================
%%% Journal abbreviations:
@String{j-COMPUT-EDGE           = "ComputingEdge"}

@String{j-COMPUTER              = "Computer"}

%%% ====================================================================
%%% Bibliography entries, sort by year and then by citation label, with
%%% `bibsort -byyear':
@Book{ANSI:1983:AIX,
  author =       "{American National Standards Institute} and {Institute
                 of Electrical and Electronics Engineers}",
  title =        "{ANSI\slash IEEE 770 X3.97-1983: An American National
                 Standard: IEEE Standard Pascal computer programming
                 language}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "128",
  year =         "1983",
  ISBN =         "0-471-88944-X",
  ISBN-13 =      "978-0-471-88944-1",
  LCCN =         "QA76.73.P2 A43 1983",
  bibdate =      "Sat May 28 08:17:53 MDT 2005",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib;
                 z3950.loc.gov:7090/Voyager",
  acknowledgement = ack-nhfb,
  keywords =     "Pascal (Computer program language)",
}

@Book{IEEE:1985:AIS,
  author =       "{IEEE Task P754}",
  title =        "{ANSI\slash IEEE 754-1985, Standard for Binary
                 Floating-Point Arithmetic}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "20",
  day =          "12",
  month =        aug,
  year =         "1985",
  ISBN =         "1-55937-653-8",
  ISBN-13 =      "978-1-55937-653-2",
  LCCN =         "????",
  bibdate =      "Thu Mar 02 09:57:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  note =         "Revised 1990. A preliminary draft was published in the
                 January 1980 issue of IEEE Computer, together with
                 several companion articles
                 \cite{Cody:1981:APF,Coonen:1981:UDN,Coonen:1980:IGP,Coonen:1981:EIG,Hough:1981:API,Stevenson:1981:PSBa,Stevenson:1981:PSBb}.
                 The final version was republished in
                 \cite{IEEE:1985:ISBa,IEEE:1985:ISBb}. See also
                 \cite{Waser:1982:IAD}. Also standardized as {{\em IEC
                 60559 (1989-01) Binary floating-point arithmetic for
                 microprocessor systems}}.",
  price =        "US\$35.00",
  URL =          "http://ieeexplore.ieee.org/iel1/2355/1316/00030711.pdf;
                 http://standards.ieee.org/reading/ieee/std/busarch/754-1985.pdf;
                 http://standards.ieee.org/reading/ieee/std_public/description/busarch/754-1985_desc.html;
                 http://www.iec.ch/cgi-bin/procgi.pl/www/iecwww.p?wwwlang=E&wwwprog=cat-det.p&wartnum=019113",
  acknowledgement = ack-nhfb,
}

@Book{ANSI:1987:AIS,
  author =       "{ANSI\slash IEEE}",
  title =        "{ANSI\slash IEEE Std 854-1987: An American National
                 Standard: IEEE Standard for Radix-Independent
                 Floating-Point Arithmetic}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "v + 14",
  day =          "5",
  month =        oct,
  year =         "1987",
  ISBN =         "0-7381-1167-8",
  ISBN-13 =      "978-0-7381-1167-4",
  LCCN =         "????",
  bibdate =      "Thu Mar 02 09:40:18 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  note =         "Revised 1994. INSPEC Accession Number: 3095617.",
  price =        "US\$44.00",
  URL =          "http://ieeexplore.ieee.org/iel1/2502/1121/00027840.pdf;
                 http://ieeexplore.ieee.org/xpl/standardstoc.jsp?isnumber=1121&isYear=1987",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1987:RIS,
  author =       "{IEEE}",
  title =        "{854-1987 (R1994) IEEE Standard for Radix-Independent
                 Floating-Point Arithmetic}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "16",
  year =         "1987",
  ISBN =         "1-55937-859-X",
  ISBN-13 =      "978-1-55937-859-8",
  LCCN =         "????",
  bibdate =      "Mon Jan 08 08:12:54 2001",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  note =         "Revised 1994.",
  price =        "US\$44.00",
  URL =          "http://standards.ieee.org/reading/ieee/std/busarch/854-1987.pdf;
                 http://standards.ieee.org/reading/ieee/std_public/description/busarch/854-1987_desc.html",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1988:IEI,
  author =       "{IEEE}",
  title =        "{1003.1-1988 INT\slash 1992 Edition, IEEE Standard
                 Interpretations of IEEE Standard Portable Operating
                 System Interface for Computer Environments (IEEE Std
                 1003.1-1988)}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "40",
  year =         "1988",
  ISBN =         "1-55937-216-8",
  ISBN-13 =      "978-1-55937-216-9",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$77.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1991:ISI,
  author =       "{IEEE}",
  title =        "{IEEE Std 1178-1990}, {IEEE Standard} for the {Scheme}
                 Programming Language",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "52",
  month =        may,
  year =         "1991",
  ISBN =         "1-55937-125-0",
  ISBN-13 =      "978-1-55937-125-4",
  LCCN =         "????",
  bibdate =      "Tue May 07 05:09:28 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  URL =          "http://standards.ieee.org/reading/ieee/std_public/description/busarch/1178-1990_desc.html",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1992:IDE,
  author =       "{IEEE}",
  title =        "{1003.2-1992\slash INT December 1994 Edition, IEEE
                 Standards Interpretations for IEEE Std 1003.2-1992}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "64",
  year =         "1992",
  ISBN =         "1-55937-476-4 (print), 0-7381-1375-1 (electronic)",
  ISBN-13 =      "978-1-55937-476-7 (print), 978-0-7381-1375-3
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$71.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1992:IME,
  author =       "{IEEE}",
  title =        "{1003.2-1992\slash INT March 1994 Edition, IEEE
                 Standards Interpretations for IEEE Std 1003.2-1992}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "40",
  year =         "1992",
  ISBN =         "1-55937-411-X (print), 0-7381-1376-X (electronic)",
  ISBN-13 =      "978-1-55937-411-8 (print), 978-0-7381-1376-0
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$92.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1992:ISI,
  author =       "{IEEE}",
  title =        "{2003.1-1992 IEEE Standard for Information Technology
                 --- Test Methods for Measuring Conformance to
                 POSIX\textregistered{} --- Part 1: System Interfaces}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "456",
  year =         "1992",
  ISBN =         "1-55937-275-3 (print), 0-7381-0654-2 (electronic)",
  ISBN-13 =      "978-1-55937-275-6 (print), 978-0-7381-0654-0
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$114.00",
  URL =          "http://standards.ieee.org/reading/ieee/std_public/description/posix/2003.1-1992_desc.html",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1992:RIS,
  author =       "{IEEE}",
  title =        "{1003.9-1992 (R1998) IEEE Standard for Information
                 Technology --- POSIX\textregistered{} FORTRAN 77
                 Language Interfaces --- Part 1: Binding for System
                 Application Program Interface (API) [Description]}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "186",
  year =         "1992",
  ISBN =         "1-55937-230-3 (print), 0-7381-0635-6 (electronic)",
  ISBN-13 =      "978-1-55937-230-5 (print), 978-0-7381-0635-9
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$98.00",
  URL =          "http://standards.ieee.org/reading/ieee/std_public/description/posix/1003.9-1992_desc.html",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1993:III,
  author =       "{IEEE}",
  title =        "{9945-2: 1993 (ISO\slash IEC) [IEEE\slash ANSI Std
                 1003.2-1992 and IEEE\slash ANSI 1003.2a-1992]
                 Information Technology-Portable Operating System
                 Interface (POSIX\textregistered{}) --- Part 2: Shell
                 and Utilities}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "1328",
  year =         "1993",
  ISBN =         "1-55937-406-3 (print), 0-7381-0657-7 (electronic)",
  ISBN-13 =      "978-1-55937-406-4 (print), 978-0-7381-0657-1
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$271.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1994:IME,
  author =       "{IEEE}",
  title =        "{1003.1\slash 2003.1\slash INT March 1994 Edition,
                 IEEE Standards Interpretations for IEEE Std 1003.1-1990
                 and IEEE Std 2003.1-1992}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "48",
  month =        mar,
  year =         "1994",
  ISBN =         "1-55937-410-1 (print), 0-7381-1373-5 (electronic)",
  ISBN-13 =      "978-1-55937-410-1 (print), 978-0-7381-1373-9
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$61.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1994:IOE,
  author =       "{IEEE}",
  title =        "{1003.1\slash 2003.1\slash INT, October 1994 Edition,
                 IEEE Standards Interpretations for IEEE Std 1003.1-1990
                 and IEEE Std 2003.1-1992}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "40",
  month =        oct,
  year =         "1994",
  ISBN =         "1-55937-449-7 (print), 0-7381-1374-3 (electronic)",
  ISBN-13 =      "978-1-55937-449-1 (print), 978-0-7381-1374-6
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$60.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1994:IOEb,
  author =       "{IEEE}",
  title =        "{1003.1\slash 2003.1\slash INT, October 1994 Edition,
                 IEEE Standards Interpretations for IEEE Std 1003.1-1990
                 and IEEE Std 2003.1-1992}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "40",
  month =        oct,
  year =         "1994",
  ISBN =         "1-55937-449-7 (print), 0-7381-1374-3 (electronic)",
  ISBN-13 =      "978-1-55937-449-1 (print), 978-0-7381-1374-6
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$90.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1994:ISI,
  author =       "{IEEE}",
  title =        "{1003.2d-1994 IEEE Standard for Information Technology
                 --- Portable Operating System Interface
                 (POSIX\textregistered{}) --- Part 2: Shell and
                 Utilities-Amendment 1: Batch Environment}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "152",
  year =         "1994",
  ISBN =         "1-55937-512-4 (print), 0-7381-0633-X (electronic)",
  ISBN-13 =      "978-1-55937-512-2 (print), 978-0-7381-0633-5
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$81.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1995:IGP,
  author =       "{IEEE}",
  title =        "{003.0-1995 IEEE Guide to the POSIX\textregistered{}
                 Open System Environment (OSE) (Identical to ISO/IEC TR
                 14252)}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "288",
  year =         "1995",
  ISBN =         "1-55937-531-0",
  ISBN-13 =      "978-1-55937-531-3",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:07:06 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$98.00",
  URL =          "http://standards.ieee.org/reading/ieee/std_public/description/posix/1003.0-1995_desc.html",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1995:ISI,
  author =       "{IEEE}",
  title =        "{1003.10-1995 IEEE Standard for Information Technology
                 --- POSIX\textregistered{} --- Based Supercomputing
                 Application Environment Profile}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "80",
  year =         "1995",
  ISBN =         "1-55937-546-9 (print), 0-7381-0631-3 (electronic)",
  ISBN-13 =      "978-1-55937-546-7 (print), 978-0-7381-0631-1
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$71.00",
  URL =          "http://standards.ieee.org/reading/ieee/std_public/description/posix/1003.10-1995_desc.html",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1995:ISIb,
  author =       "{IEEE}",
  title =        "{1387.2-1995 IEEE Standard for Information Technology
                 --- Portable Operating Interface System --- Part 2:
                 Administration}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "296",
  year =         "1995",
  ISBN =         "1-55937-537-X (print), 0-7381-0652-6 (electronic)",
  ISBN-13 =      "978-1-55937-537-5 (print), 978-0-7381-0652-6
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$86.00",
  URL =          "http://standards.ieee.org/reading/ieee/std_public/description/posix/1387.2-1995_desc.html",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1995:UDP,
  author =       "{IEEE}",
  title =        "{Unapproved Draft P1003.14, D10 Feb 1995 IEEE Standard
                 for Information Technology --- POSIX\textregistered{}
                 Standardized Profile --- POSIX\textregistered{}
                 Multiprocessor Application Environment Profile}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "????",
  month =        feb,
  year =         "1995",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$42.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1995:UDPb,
  author =       "{IEEE}",
  title =        "{Unapproved Draft P1003.18, D12 Feb 1995
                 POSIX\textregistered{} Interactive Systems Application
                 Environment Profile}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "????",
  month =        feb,
  year =         "1995",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$40.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1996:III,
  author =       "{IEEE}",
  title =        "{1996 (ISO\slash IEC) [IEEE\slash ANSI Std 1003.1,
                 1996 Edition] Information Technology --- Portable
                 Operating System Interface (POSIX\textregistered{}) ---
                 Part 1: System Application: Program Interface (API) [C
                 Language]}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "784",
  year =         "1996",
  ISBN =         "1-55937-573-6",
  ISBN-13 =      "978-1-55937-573-3",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$143.00",
  URL =          "http://standards.ieee.org/reading/ieee/std_public/description/posix/9945-1-1996_desc.html",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1996:ISI,
  author =       "{IEEE}",
  title =        "{1387.3-1996 IEEE Standard for Information Technology
                 --- Portable Operating System Interface
                 (POSIX\textregistered{}) System --- Part 3: User and
                 Group Account Administration}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "112",
  year =         "1996",
  ISBN =         "1-55937-866-2 (print), 0-7381-0653-4 (electronic)",
  ISBN-13 =      "978-1-55937-866-6 (print), 978-0-7381-0653-3
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$71.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1996:ISIb,
  author =       "{IEEE}",
  title =        "{2003.2-1996 IEEE Standard for Information Technology
                 --- Test Methods for Measuring Conformance to
                 POSIX\textregistered{} --- Part 2: Shell and
                 Utilities}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "1424",
  year =         "1996",
  ISBN =         "1-55937-882-4 (print), 0-7381-0655-0 (electronic)",
  ISBN-13 =      "978-1-55937-882-6 (print), 978-0-7381-0655-7
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$119.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1998:IGD,
  author =       "{IEEE}",
  title =        "{1003.23-1998 IEEE Guide for Developing User
                 Organization Open System Environment (OSE) Profiles}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "120",
  year =         "1998",
  ISBN =         "0-7381-1541-X (print), 0-7381-1542-8 (electronic)",
  ISBN-13 =      "978-0-7381-1541-2 (print), 978-0-7381-1542-9
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$90.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1998:ISI,
  author =       "{IEEE}",
  title =        "{1003.13-1998 IEEE Standard for Information Technology
                 --- Standardized Application Environment Profile (AEP)
                 --- POSIX\textregistered{} Realtime Application
                 Support}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "186",
  year =         "1998",
  ISBN =         "0-7381-0178-8 (print), 0-7381-0632-1 (electronic)",
  ISBN-13 =      "978-0-7381-0178-1 (print), 978-0-7381-0632-8
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$77.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1998:PDD,
  author =       "{IEEE}",
  title =        "{P1003.1a, D16 Dec 98 System Application Program
                 Interface (API) [C Language] --- Amendment C}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "????",
  year =         "1998",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$54.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1998:PDN,
  author =       "{IEEE}",
  title =        "{P1003.1m, D2 Nov 1998 Checkpoint/Restart Interface [C
                 Language]}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "????",
  month =        nov,
  year =         "1998",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$38.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1999:EIS,
  author =       "{IEEE}",
  title =        "{1003.5-1999 Edition IEEE Standard for Information
                 Technology --- POSIX\textregistered{} Ada Language
                 Interfaces --- Part 1: Binding for System Application
                 Program Interface (API) --- Amendment 2: Protocol -
                 Independent Interfaces}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "890",
  year =         "1999",
  ISBN =         "0-7381-1539-8 (print), 0-7381-1540-1 (electronic)",
  ISBN-13 =      "978-0-7381-1539-9 (print), 978-0-7381-1540-5
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  note =         "This edition incorporates IEEE Std 1003.5-1992, IEEE
                 Std 1003.5b-1996 and IEEE Std 1003.5c-1998.",
  price =        "US\$145.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1999:III,
  author =       "{IEEE}",
  title =        "{14519:1999 1(ISO/IEC) IEEE/ANSI Std 1003.5b-1999
                 Information Technology --- POSIX\textregistered{} Ada
                 Language Interfaces --- Binding for System Application
                 Program Interface (API) --- Realtime Extensions}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "548",
  year =         "1999",
  ISBN =         "0-7381-1570-3",
  ISBN-13 =      "978-0-7381-1570-2",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$95.00",
  URL =          "http://standards.ieee.org/reading/ieee/interp/1003.5.html",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1999:IIIb,
  author =       "{IEEE}",
  title =        "{16509:1999 (ISO/IEC) IEEE Std 2000.1-1998 Year 2000
                 Terminology}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "16",
  year =         "1999",
  ISBN =         "0-7381-1803-6",
  ISBN-13 =      "978-0-7381-1803-1",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$49.00",
  URL =          "http://grouper.ieee.org/groups/2000/",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1999:IIIc,
  author =       "{IEEE}",
  title =        "{13210:1999 (ISO/IEC) IEEE Std 2003-1997 IEEE Standard
                 for Information Technology --- Requirements and
                 Guidelines for Test Method Specifications and Test
                 Method Implementations for Measuring Conformance to
                 POSIX\textregistered{} Standards}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "96",
  year =         "1999",
  ISBN =         "0-7381-1797-8 (print), 0-7381-1798-6 (electronic)",
  ISBN-13 =      "978-0-7381-1797-3 (print), 978-0-7381-1798-0
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$86.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1999:ITP,
  author =       "{IEEE}",
  title =        "{1003.1d-1999 Information Technology --- Portable
                 Operating System Interface (POSIX\textregistered{}) ---
                 Part 1: System Application Program Interface (API) ---
                 Amendment x: Additional Realtime Extensions [C
                 Language]}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "????",
  year =         "1999",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$57.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1999:PDJ,
  author =       "{IEEE}",
  title =        "{P1003.1h D5, July 1999 Draft POSIX\textregistered{}
                 Part 1: System API Extension --- Services for Reliable,
                 Available, and Serviceable Systems [C language] ---
                 amendment}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "????",
  month =        jul,
  year =         "1999",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$41.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1999:PDJb,
  author =       "{IEEE}",
  title =        "{P1003.2b, D12 June 1999 Shell \& Utilities, Amendment
                 2}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "????",
  month =        jun,
  year =         "1999",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$73.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:1999:PDS,
  author =       "{IEEE}",
  title =        "{P1003.1q, D6 Sept. 1999 Tracing [C Language]}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "124",
  month =        sep,
  year =         "1999",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$50.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:2000:ARE,
  author =       "{IEEE}",
  title =        "{1003.1j-2000 Advanced Realtime Extensions [C
                 Language]}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "100",
  year =         "2000",
  ISBN =         "0-7381-1889-3",
  ISBN-13 =      "978-0-7381-1889-5",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$53.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:2000:IRP,
  author =       "{IEEE}",
  title =        "{2000.2-1999 IEEE Recommended Practice for Information
                 Technology --- Year 2000 Test Methods}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "126",
  year =         "2000",
  ISBN =         "0-7381-1779-X (print), 0-7381-1780-3 (electronic)",
  ISBN-13 =      "978-0-7381-1779-9 (print), 978-0-7381-1780-5
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$62.00",
  URL =          "http://grouper.ieee.org/groups/2000/",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:2000:ISI,
  author =       "{IEEE}",
  title =        "{2000.1-1999 IEEE Standard for Information Technology
                 --- Year 2000 Terminology}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "16",
  year =         "2000",
  ISBN =         "????",
  ISBN-13 =      "????",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$62.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:2000:ISIb,
  author =       "{IEEE}",
  title =        "{2003-1997 IEEE Standard for Information Technology
                 --- Requirements and Guidelines for Test Method
                 Specifications and Test Method Implementations for
                 Measuring Conformance to POSIX\textregistered{}
                 Standards}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "96",
  year =         "2000",
  ISBN =         "1-55937-895-6 (print), 0-7381-0240-7 (electronic)",
  ISBN-13 =      "978-1-55937-895-6 (print), 978-0-7381-0240-5
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$71.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:2000:PIS,
  author =       "{IEEE}",
  title =        "{P2003.1b-2000 IEEE Standard for Information
                 Technology-Test Methods for Measuring Conformance to
                 POSIX\textregistered{} --- Part 1: System Application
                 Program Interface (API) --- Amendment 1: Realtime
                 Extension [C Language]}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "394",
  year =         "2000",
  ISBN =         "0-7381-2458-3",
  ISBN-13 =      "978-0-7381-2458-2",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$77.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:2000:PXP,
  author =       "{IEEE}",
  title =        "{1003.1g-2000 Part xx: Protocol Independent Interfaces
                 (PII)}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "????",
  year =         "2000",
  ISBN =         "0-7381-1888-5",
  ISBN-13 =      "978-0-7381-1888-8",
  LCCN =         "????",
  bibdate =      "Mon Apr 24 07:08:18 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  price =        "US\$92.00",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:2001:ISRa,
  author =       "{IEEE}",
  title =        "{IEEE Std 1003.1-2001 Standard for Information
                 Technology --- Portable Operating System Interface
                 (POSIX) Base Definitions, Issue 6}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "xliv + 448",
  year =         "2001",
  ISBN =         "1-85912-247-7 (UK), 1-931624-07-0 (US), 0-7381-3047-8
                 (print), 0-7381-3010-9 (PDF), 0-7381-3129-6 (CD-ROM)",
  ISBN-13 =      "978-1-85912-247-1 (UK), 978-1-931624-07-7 (US),
                 978-0-7381-3047-7 (print), 978-0-7381-3010-1 (PDF),
                 978-0-7381-3129-0 (CD-ROM)",
  LCCN =         "????",
  bibdate =      "Thu May 09 05:06:12 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  note =         "Revision of IEEE Std 1003.1-1996 and IEEE Std
                 1003.2-1992, Open Group Technical Standard Base
                 Specifications, Issue 6.",
  abstract =     "This standard defines a standard operating system
                 interface and environment, including a command
                 interpreter (or shell), and common utility programs to
                 support applications portability at the source code
                 level. It is the single common revision to IEEE Std
                 1003.1-1996, IEEE Std 1003.2-1992, and the Base
                 Specifications of The Open Group Single UNIX
                 Specification, Version 2.",
  acknowledgement = ack-nhfb,
  keywords =     "application program interface (API); argument;
                 asynchronous; basic regular expression (BRE); batch
                 job; batch system; built-in utility; byte; child;
                 command language interpreter; CPU; extended regular
                 expression (ERE); FIFO; file access control mechanism;
                 input/output (I/O); job control; network; parent;
                 portable operating system interface (POSIX); shell;
                 stream; string; synchronous; system; thread; X/Open
                 System Interface (XSI)",
}

@Book{IEEE:2001:ISRb,
  author =       "{IEEE}",
  title =        "{IEEE Std 1003.1-2001 Standard for Information
                 Technology --- Portable Operating System Interface
                 (POSIX) System Interfaces, Issue 6}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "xxx + 1690",
  year =         "2001",
  ISBN =         "1-85912-247-7 (UK), 1-931624-07-0 (US), 0-7381-3094-4
                 (print), 0-7381-3010-9 (PDF), 0-7381-3129-6 (CD-ROM)",
  ISBN-13 =      "978-1-85912-247-1 (UK), 978-1-931624-07-7 (US),
                 978-0-7381-3094-1 (print), 978-0-7381-3010-1 (PDF),
                 978-0-7381-3129-0 (CD-ROM)",
  LCCN =         "????",
  bibdate =      "Thu May 09 05:06:12 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  note =         "Revision of IEEE Std 1003.1-1996 and IEEE Std
                 1003.2-1992, Open Group Technical Standard Base
                 Specifications, Issue 6.",
  abstract =     "This standard defines a standard operating system
                 interface and environment, including a command
                 interpreter (or shell), and common utility programs to
                 support applications portability at the source code
                 level. It is the single common revision to IEEE Std
                 1003.1-1996, IEEE Std 1003.2-1992, and the Base
                 Specifications of The Open Group Single UNIX
                 Specification, Version 2.",
  acknowledgement = ack-nhfb,
  keywords =     "application program interface (API); argument;
                 asynchronous; basic regular expression (BRE); batch
                 job; batch system; built-in utility; byte; child;
                 command language interpreter; CPU; extended regular
                 expression (ERE); FIFO; file access control mechanism;
                 input/output (I/O); job control; network; parent;
                 portable operating system interface (POSIX); shell;
                 stream; string; synchronous; system; thread; X/Open
                 System Interface (XSI)",
}

@Book{IEEE:2001:ISRc,
  author =       "{IEEE}",
  title =        "{IEEE Std 1003.1-2001 Standard for Information
                 Technology --- Portable Operating System Interface
                 (POSIX) Shell and Utilities, Issue 6}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "xxxii + 1090",
  year =         "2001",
  ISBN =         "1-85912-247-7 (UK), 1-931624-07-0 (US), 0-7381-3050-8
                 (print), 0-7381-3010-9 (PDF), 0-7381-3129-6 (CD-ROM).",
  ISBN-13 =      "978-1-85912-247-1 (UK), 978-1-931624-07-7 (US),
                 978-0-7381-3050-7 (print), 978-0-7381-3010-1 (PDF),
                 978-0-7381-3129-0 (CD-ROM).",
  LCCN =         "????",
  bibdate =      "Thu May 09 05:06:12 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  note =         "Revision of IEEE Std 1003.1-1996 and IEEE Std
                 1003.2-1992) Open Group Technical Standard Base
                 Specifications, Issue 6.",
  abstract =     "This standard defines a standard operating system
                 interface and environment, including a command
                 interpreter (or shell), and common utility programs to
                 support applications portability at the source code
                 level. It is the single common revision to IEEE Std
                 1003.1-1996, IEEE Std 1003.2-1992, and the Base
                 Specifications of The Open Group Single UNIX
                 Specification, Version 2.",
  acknowledgement = ack-nhfb,
  keywords =     "application program interface (API); argument;
                 asynchronous; basic regular expression (BRE); batch
                 job; batch system; built-in utility; byte; child;
                 command language interpreter; CPU; extended regular
                 expression (ERE); FIFO; file access control mechanism;
                 input/output (I/O); job control; network; parent;
                 portable operating system interface (POSIX); shell;
                 stream; string; synchronous; system; thread; X/Open
                 System Interface (XSI)",
}

@Book{IEEE:2001:ISRd,
  author =       "{IEEE}",
  title =        "{IEEE Std 1003.1-2001 Standard for Information
                 Technology --- Portable Operating System Interface
                 (POSIX) Rationale (Informative)}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "xxxiv + 310",
  year =         "2001",
  ISBN =         "1-85912-247-7 (UK), 1-931624-07-0 (US), 0-7381-3048-6
                 (print), 0-7381-3010-9 (PDF), 0-7381-3129-6 (CD-ROM)",
  ISBN-13 =      "978-1-85912-247-1 (UK), 978-1-931624-07-7 (US),
                 978-0-7381-3048-4 (print), 978-0-7381-3010-1 (PDF),
                 978-0-7381-3129-0 (CD-ROM)",
  LCCN =         "????",
  bibdate =      "Thu May 09 05:06:12 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  note =         "Revision of IEEE Std 1003.1-1996 and IEEE Std
                 1003.2-1992) Open Group Technical Standard Base
                 Specifications, Issue 6.",
  abstract =     "This standard defines a standard operating system
                 interface and environment, including a command
                 interpreter (or shell), and common utility programs to
                 support applications portability at the source code
                 level. It is the single common revision to IEEE Std
                 1003.1-1996, IEEE Std 1003.2-1992, and the Base
                 Specifications of The Open Group Single UNIX
                 Specification, Version 2.",
  acknowledgement = ack-nhfb,
  keywords =     "application program interface (API); argument;
                 asynchronous; basic regular expression (BRE); batch
                 job; batch system; built-in utility; byte; child;
                 command language interpreter; CPU; extended regular
                 expression (ERE); FIFO; file access control mechanism;
                 input/output (I/O); job control; network; parent;
                 portable operating system interface (POSIX); shell;
                 stream; string; synchronous; system; thread; X/Open
                 System Interface (XSI)",
}

@Book{P754:2008:ISF,
  author =       "{IEEE Task P754}",
  title =        "{IEEE 754-2008, Standard for Floating-Point
                 Arithmetic}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "58",
  day =          "29",
  month =        aug,
  year =         "2008",
  DOI =          "https://doi.org/10.1109/IEEESTD.2008.4610935",
  ISBN =         "0-7381-5753-8 (paper), 0-7381-5752-X (electronic)",
  ISBN-13 =      "978-0-7381-5753-5 (paper), 978-0-7381-5752-8
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Thu Sep 25 09:50:30 2008",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fparith.bib;
                  http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  URL =          "http://en.wikipedia.org/wiki/IEEE_754-2008;
                 http://ieeexplore.ieee.org/servlet/opac?punumber=4610933",
  abstract =     "This standard specifies interchange and arithmetic
                 formats and methods for binary and decimal
                 floating-point arithmetic in computer programming
                 environments. This standard specifies exception
                 conditions and their default handling. An
                 implementation of a floating-point system conforming to
                 this standard may be realized entirely in software,
                 entirely in hardware, or in any combination of software
                 and hardware. For operations specified in the normative
                 part of this standard, numerical results and exceptions
                 are uniquely determined by the values of the input
                 data, sequence of operations, and destination formats,
                 all under user control.",
  acknowledgement = ack-nhfb,
}

@Book{IEEE:2015:ISI,
  author =       "{IEEE}",
  title =        "1788-2015 --- {IEEE} Standard for Interval
                 Arithmetic",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "xiv + 79",
  day =          "30",
  month =        jun,
  year =         "2015",
  DOI =          "https://doi.org/10.1109/IEEESTD.2015.7140721",
  ISBN =         "0-7381-9721-1 (PDF), 0-7381-9720-3 (electronic)",
  ISBN-13 =      "978-0-7381-9721-0 (PDF), 978-0-7381-9720-3
                 (electronic)",
  LCCN =         "????",
  bibdate =      "Mon Jan 16 18:28:35 2017",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 http://www.math.utah.edu/pub/tex/bib/ieeestd.bib;
                 http://www.math.utah.edu/pub/tex/bib/mathcw.bib",
  note =         "Approved 11 June 2015 by IEEE-SA Standards Board.",
  URL =          "http://ieeexplore.ieee.org/servlet/opac?punumber=7140719",
  abstract =     "This standard species basic interval arithmetic (IA)
                 operations selecting and following one of the commonly
                 used mathematical interval models. This standard
                 supports the IEEE 755 floating-point formats of
                 practical use in interval computations. Exception
                 conditions are defined, and standard handling of these
                 conditions is specified. Consistency with the interval
                 model is tempered with practical considerations based
                 on input from representatives of vendors, developers
                 and maintainers of existing systems. The standard
                 provides a layer between the hardware and the
                 programming language levels. It does not mandate that
                 any operations be implemented in hardware. It does not
                 define any realization of the basic operations as
                 functions in a programming language.",
  acknowledgement = ack-nhfb,
  keywords =     "arithmetic; computing; decoration; enclosure; hull;
                 IEEE 1788; interval; operation; verified",
}

@Book{IEEE:2017:ISI,
  author =       "{IEEE}",
  title =        "{IEEE Std 1788.1-2017 --- IEEE Standard for Interval
                 Arithmetic (Simplified)}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "ix + 27 + 1",
  day =          "6",
  month =        dec,
  year =         "2017",
  ISBN =         "1-5044-4603-8 (print), 1-5044-4602-X (PDF),
                 1-5044-4667-4",
  ISBN-13 =      "978-1-5044-4603-7 (print), 978-1-5044-4602-0 (PDF),
                 978-1-5044-4667-9",
  LCCN =         "????",
  bibdate =      "Mon Feb 05 11:35:56 2018",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  URL =          "https://standards.ieee.org/findstds/standard/1788.1-2017.html",
  abstract =     "This standard is a simplified version and a subset of
                 the IEEE Std 1788TM-2015 for Interval Arithmetic and
                 includes those operations and features of the latter
                 that in the the editors view are most commonly used in
                 practice. IEEE Std 1788.1-2017 specifies interval
                 arithmetic operations based on intervals whose
                 endpoints are IEEE Std 754TM-2008 binary64
                 floating-point numbers and a decoration system for
                 exception-free computations and propagation of
                 properties of the computed results. A program built on
                 top of an implementation of IEEE Std 1788.1-2017 should
                 compile and run, and give identical output within round
                 off, using an implementation of IEEE Std 1788-2015, or
                 any superset of the former. Compared to IEEE Std
                 1788-2015, this standard aims to be minimalistic, yet
                 to cover much of the functionality needed for interval
                 computations. As such, it is more accessible and will
                 be much easier to implement, and thus will speed up
                 production of implementations.",
  acknowledgement = ack-nhfb,
}

@Misc{IEEE:2017:ISP,
  author =       "{IEEE}",
  title =        "{IEEE Std 1003.1-2017: POSIX.1a}",
  howpublished = "Web document",
  year =         "2017",
  bibdate =      "Fri Sep 10 13:34:10 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  note =         "POSIX.1-2017 is a revision of IEEE Std 1003.1-2008,
                 and replaces previous versions of 2008, 2013, and 2016.
                 Also issued as The Open Group Technical Standard Base
                 Specifications, Issue 7.",
  URL =          "https://pubs.opengroup.org/onlinepubs/9699919799/",
  acknowledgement = ack-nhfb,
}

@Article{Hough:2019:ISO,
  author =       "David G. Hough",
  title =        "The {IEEE Standard 754}: One for the History Books",
  journal =      j-COMPUTER,
  volume =       "52",
  number =       "12",
  pages =        "109--112",
  month =        dec,
  year =         "2019",
  CODEN =        "CPTRB4",
  DOI =          "https://doi.org/10.1109/MC.2019.2926614",
  ISSN =         "0018-9162 (print), 1558-0814 (electronic)",
  ISSN-L =       "0018-9162",
  bibdate =      "Fri Nov 29 06:16:06 2019",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/computer2010.bib;
                 http://www.math.utah.edu/pub/tex/bib/fparith.bib",
  URL =          "http://grouper.ieee.org/groups/msc/ANSI_IEEE-Std-754-2019/background/ieee-computer.pdf;
                 https://www.computer.org/csdl/magazine/co/2019/12/08909942/1f8KFWxbTCU",
  acknowledgement = ack-nhfb,
  fjournal =     "Computer",
  journal-URL =  "https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=2",
  keywords =     "Floating-point arithmetic; Hardware; History; IEEE
                 Standards; Microprocessors; Software",
}

@Book{IEEE-754:2019:ISF,
  author =       "{IEEE-754}",
  title =        "{IEEE 754-2019, Standard for Floating-Point
                 Arithmetic}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "82",
  day =          "13",
  month =        jun,
  year =         "2019",
  DOI =          "https://doi.org/10.1109/IEEESTD.2019.876622",
  ISBN =         "1-5044-5925-3 (print), 1-5044-5924-5 (e-PDF)",
  ISBN-13 =      "978-1-5044-5925-9 (print), 978-1-5044-5924-2 (e-PDF)",
  bibdate =      "Tue Nov 05 08:49:56 2019",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fparith.bib;
                 http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  abstract =     "This standard specifies interchange and arithmetic
                 formats and methods for binary and decimal
                 floating-point arithmetic in computer programming
                 environments. This standard specifies exception
                 conditions and their default handling. An
                 implementation of a floating-point system conforming to
                 this standard may be realized entirely in software,
                 entirely in hardware, or in any combination of software
                 and hardware. For operations specified in the normative
                 part of this standard, numerical results and exceptions
                 are uniquely determined by the values of the input
                 data, sequence of operations, and destination formats,
                 all under user control.",
  acknowledgement = ack-nhfb,
}

@Book{IEEE-754:2020:III,
  author =       "{IEEE-754}",
  title =        "{60559-2020 --- ISO/IEC/IEEE International Standard
                 --- Floating-point arithmetic}",
  publisher =    pub-IEEE-STD,
  address =      pub-IEEE-STD:adr,
  pages =        "????",
  year =         "2020",
  bibdate =      "Tue May 26 18:22:59 2020",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/ieeestd.bib",
  URL =          "https://standards.ieee.org/standard/60559-2020.html",
  acknowledgement = ack-nhfb,
  remark =       "Published Date:2020-05-08. Adopted Date:2020-05-08.
                 Supersedes 754-1985, 854-1987, and 754-2008.",
}

@Article{Hough:2021:ISO,
  author =       "David G. Hough",
  title =        "The {IEEE Standard 754}: One for the History Books",
  journal =      j-COMPUT-EDGE,
  volume =       "??",
  number =       "4",
  pages =        "42--46",
  month =        aug,
  year =         "2021",
  DOI =          "https://doi.org/10.1109/MC.2019.2926614",
  ISSN =         "2469-7087",
  bibdate =      "Thu Aug 19 14:23:25 2021",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/fparith.bib",
  URL =          "http://grouper.ieee.org/groups/msc/ANSI_IEEE-Std-754-2019/background/ieee-computer.pdf;
                 https://www.computer.org/csdl/magazine/co/2019/12/08909942/1f8KFWxbTCU",
  acknowledgement = ack-nhfb,
  fjournal =     "Computing Edge",
  journal-URL =  "http://www.computer.org/web/computingedge",
  keywords =     "Floating-point arithmetic; Hardware; History; IEEE
                 Standards; Microprocessors; Software",
  remark =       "Reprint of \cite{Hough:2019:ISO}.",
  xxISSN =       "2376-113X",
}