%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.11",
%%%     date            = "12 August 2013",
%%%     time            = "11:02:14 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        = "45259 1071 4082 44183",
%%%     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.11, the year coverage looked
%%%                        like this:
%%%
%%%                             1983 (   1)    1992 (   4)    2001 (   4)
%%%                             1984 (   0)    1993 (   1)    2002 (   0)
%%%                             1985 (   1)    1994 (   4)    2003 (   0)
%%%                             1986 (   0)    1995 (   5)    2004 (   0)
%%%                             1987 (   2)    1996 (   3)    2005 (   0)
%%%                             1988 (   1)    1997 (   0)    2006 (   0)
%%%                             1989 (   0)    1998 (   4)    2007 (   0)
%%%                             1990 (   0)    1999 (   8)    2008 (   1)
%%%                             1991 (   1)    2000 (   6)
%%%
%%%                             Book:            46
%%%
%%%                             Total entries:   46
%%%
%%%                        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"}

%%% ====================================================================
%%% Bibliography entries:

@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 =          "http://dx.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/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,
}