%%% Because \url{} does not properly handle a list of URLs, and %%% is-plain.bst doesn't either, I've reduced instance of multiple %%% URLs to a single important one @Preamble{"\input tugboat.def"} @Preamble{"\input path.sty"} %%% ==================================================================== %%% Institution abbreviations: @String{inst-STAN-CS = "Stanford University, Department of Computer Science"} %%% ==================================================================== %%% Journal abbreviations: @String{j-COMP-GRAPHICS = "Computer Graphics"} @String{j-EPODD = "Electronic Pub\-lish\-ing --- Orig\-i\-na\-tion, Dissemination, and Design"} @String{j-IBM-JRD = "IBM Journal of Research and Development"} @String{j-INFO-CTL = "Information and Control"} @String{j-SPE = "Soft\-ware --- Prac\-tice and Experience"} @String{j-SIGGRAPH = "ACM SIG{\-}GRAPH\emdash Com{\-}puter Graphics"} @String{j-SIGPLAN = "ACM SIGPLAN Notices"} @String{j-TUGboat = "TUGboat"} %%% ==================================================================== %%% Publisher abbreviations: @String{pub-ACM = "ACM Press"} @String{pub-ACM:adr = "New York, NY 10036, USA"} @String{pub-AW = "Ad{\-d}i{\-s}on-Wes{\-l}ey"} @String{pub-AW:adr = "Reading, MA, USA"} @String{pub-AW-LONGMAN = "Ad{\-d}i{\-s}on-Wes{\-l}ey Longman"} @String{pub-AW-LONGMAN:adr = "Harlow, Essex CM20 2JE, England"} @String{pub-CLARENDON-PRESS = "Clarendon Press"} @String{pub-CLARENDON-PRESS:adr = "Oxford, UK"} @String{pub-CSLI = "CSLI Publications"} @String{pub-CSLI:adr = "Stanford, CA, USA"} @String{pub-ENH = "Elsevier North-Holland, Inc."} @String{pub-ENH:adr = "New York, NY, USA"} @String{pub-IEEE = "IEEE Computer Society Press"} @String{pub-IEEE:adr = "1109 Spring Street, Suite 300, Silver Spring, MD 20910, USA"} @String{pub-IEEE-STD = "IEEE"} @String{pub-IEEE-STD:adr = "New York, NY, USA"} @String{pub-ORA = "O'Reilly \& {Associates, Inc.}"} @String{pub-ORA:adr = "981 Chestnut Street, Newton, MA 02164, USA"} @String{pub-OXFORD = "Oxford University Press"} @String{pub-OXFORD:adr = "Walton Street, Oxford OX2 6DP, UK"} @String{pub-PH = "Pren{\-}tice-Hall"} @String{pub-PH:adr = "Upper Saddle River, NJ 07458, USA"} @String{pub-PHPTR = "Pren{\-}tice-Hall PTR"} @String{pub-PHPTR:adr = "Upper Saddle River, NJ 07458, USA"} @String{pub-SUCSLI = "Stanford University Center for the Study of Language and Information"} @String{pub-SUCSLI:adr = "Stanford, CA, USA"} @String{pub-SV = "Spring{\-}er-Ver{\-}lag"} @String{pub-SV:adr = "Berlin, Germany~/ Heidelberg, Germany~/ London, UK~/ etc."} @String{pub-VAN-NOSTRAND-REINHOLD = "Van Nostrand Reinhold"} @String{pub-VAN-NOSTRAND-REINHOLD:adr = "New York, NY, USA"} %%% ==================================================================== %%% Bibliography entries, sorted by citation label (with bibsort): @Article{Abbott:1999:ASS, author = "P. H. Abbott and D. G. Brush and C. W. {Clark III} and C. J. Crone and J. R. Ehrman and G. W. Ewart and C. A. Goodrich and M. Hack and J. S. Kapernick and B. J. Minchau and W. C. Shepard and R. M. {Smith, Sr.} and R. Tallman and S. Walkowiak and A. Watanabe and W. R. White", title = "Architecture and software support in {IBM S/390 Parallel Enterprise Servers} for {IEEE} Floating-Point arithmetic", journal = j-IBM-JRD, volume = "43", number = "5/6", pages = "723--760", xxmonth = "????", year = "1999", CODEN = "IBMJAE", ISSN = "0018-8646", bibdate = "Mon Feb 03 07:08:45 2003", note = "Besides important history of the development of the S/360 floating-point architecture, this paper has a good description of IBM's algorithm for exact decimal-to-binary conversion, complementing earlier ones \cite{Steele:1990:HPF,Clinger:1990:HRF,Knuth:1990:SPW,Burger:1996:PFN,Steele:2003:HPF}.", URL = "http://www.research.ibm.com/journal/rd/435/abbott.html", acknowledgement = ack-nhfb, } @Book{Adobe:1990:ATF, author = "Adobe Systems Incorporated", title = "{Adobe} Type 1 Font Format---Version 1.1", publisher = pub-AW, address = pub-AW:adr, pages = "iii + 103", month = aug, year = "1990", ISBN = "0-201-57044-0", LCCN = "QA76.73.P67 A36 1990", bibdate = "Sat Oct 28 08:24:48 2000", price = "US\$14.95", URL = "http://partners.adobe.com/asn/developer/pdfs/tn/T1_SPEC.PDF", libnote = "Not yet in my library.", } @Book{Adobe:1999:PLR, author = "{Adobe Systems Incorporated}", title = "{PostScript} Language Reference", publisher = pub-AW, address = pub-AW:adr, edition = "Third", pages = "xii + 897", year = "1999", ISBN = "0-201-37922-8", LCCN = "QA76.73.P67 P67 1999", bibdate = "Tue Dec 05 18:14:16 2000", note = "This new edition defines PostScript Language Level 3. An electronic version of the book is available at the Adobe Web site, and is also included in a CD-ROM attached to the book.", price = "US\$49.95, CDN\$74.95", URL = "http://www.adobe.com/products/postscript/pdfs/PLRM.pdf", xxURL = "http://partners.adobe.com/supportservice/devrelations/PDFS/TN/PLRM.pdf; http://partners.adobe.com/asn/developer/PDFS/TN/PLRM.pdf", acknowledgement = ack-nhfb, } @Article{Becker:EPODD-2-3-119, author = "Zeev Becker and Daniel Berry", title = "{{\tt triroff}}, an adaptation of the device-independent {{\tt troff}} for formatting tri-directional text", journal = j-EPODD, volume = "2", number = "3", pages = "119--142", month = oct, year = "1989", CODEN = "EPODEU", ISSN = "0894-3982", bibsource = "ftp://ftp.math.utah.edu/pub/tex/bib/epodd.bib", abstract = "This paper describes a system for formatting documents consisting of text written in languages printed in three different directions, left-to-right, right-to-left, and top-to-bottom. For example, this paper is such a document because it contains text written in English, Hebrew, Japanese, and Chinese. The system assumes that the input is in the order in which the text is read aloud, and it produces output in which each language is printed in its own correct direction, but for which a human cognizant of the reading conventions will reproduce the input order. The system consists of three major pieces of software: Ossana and Kernighan's {\tt ditroff} for formatting text consisting of only left-to-right or unidirectional text, Buchman and Berry's {\tt ffortid} for rearranging right-to-left language text occurring in {\tt ditroff} output to be printed from right to left, and a new program {\tt bditroff} for rearranging top-to-bottom text occurring in {\tt ditroff} output to be printed from top to bottom. Below are translations of this English language abstract, except for this paragraph, into Hebrew, Japanese, and Chinese. The latter two are printed twice, once in a modern left-to-right style, and once in a more traditional top-to-bottom style. The software described in this paper was used to format and print this paper.", keywords = "Document preparation, Multi-lingual, Multi-directional, Troff, Typesetting", } @Article{Beebe:TB22-3-220, author = "Nelson Beebe", title = "The {{\TeX}} Font Panel", journal = j-TUGboat, volume = "22", number = "3", pages = "220--227", month = sep, year = "2001", ISSN = "0896-3207", bibdate = "Sat Jul 5 17:27:22 MDT 2003", bibsource = "ftp://ftp.math.utah.edu/pub/tex/bib/tugboat.bib; http://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat", acknowledgement = ack-bnb # " and " # ack-nhfb, } @Article{Burger:1996:PFN, author = "Robert G. Burger and R. Kent Dybvig", title = "Printing Floating-Point Numbers Quickly and Accurately", journal = j-SIGPLAN, volume = "31", number = "5", pages = "108--116", month = may, year = "1996", CODEN = "SINODQ", ISSN = "0362-1340", bibdate = "Mon Feb 03 07:07:43 2003", bibsource = "http://www.acm.org/pubs/contents/proceedings/pldi/231379/index.html; http://portal.acm.org/; http://portal.acm.org/", note = "This paper offers a significantly faster algorithm than that of \cite{Steele:1990:HPF}, together with a correctness proof and an implementation in Scheme. See also \cite{Clinger:1990:HRF,Abbott:1999:ASS,Steele:2003:HPF}.", URL = "http://www.acm.org:80/pubs/citations/proceedings/pldi/231379/p108-burger/", acknowledgement = ack-nhfb, affiliation = "Dept. of Comput. Sci., Indiana Univ., Bloomington, IN, USA", annote = "Published as part of the Proceedings of PLDI'96.", keywords = "algorithms; design; theory", subject = "{\bf I.3.3} Computing Methodologies, COMPUTER GRAPHICS, Picture/Image Generation, Display algorithms. {\bf F.2.1} Theory of Computation, ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, Numerical Algorithms and Problems. {\bf I.1.2} Computing Methodologies, SYMBOLIC AND ALGEBRAIC MANIPULATION, Algorithms.", } @Article{Carlisle:TB19-4-348, author = "David Carlisle", title = "A seasonal puzzle: {XII}", journal = j-TUGboat, volume = "19", number = "4", pages = "348--348", month = dec, year = "1998", ISSN = "0896-3207", bibdate = "Sat Jul 5 17:27:22 MDT 2003", bibsource = "ftp://ftp.math.utah.edu/pub/tex/bib/tugboat.bib; http://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat", acknowledgement = ack-bnb # " and " # ack-nhfb, } @Article{Clinger:1990:HRF, author = "William D. Clinger", title = "How to Read Floating Point Numbers Accurately", journal = j-SIGPLAN, volume = "25", number = "6", pages = "92--101", month = jun, year = "1990", CODEN = "SINODQ", ISBN = "0-89791-364-7", ISSN = "0362-1340", bibdate = "Sun Dec 14 09:15:53 MST 2003", bibsource = "http://portal.acm.org/; Compendex database; garbo.uwasa.fi:/pc/doc-soft/fpbiblio.txt; http://www.acm.org/pubs/contents/proceedings/pldi/93542/index.html", note = "See also output algorithms in \cite{Knuth:1990:SPW,Steele:1990:HPF,Burger:1996:PFN,Abbott:1999:ASS,Steele:2003:HPF}.", URL = "http://www.acm.org:80/pubs/citations/proceedings/pldi/93542/p92-clinger/", abstract = "Consider the problem of converting decimal scientific notation for a number into the best binary floating point approximation to that number, for some fixed precision. This problem cannot be solved using arithmetic of any fixed precision. Hence the IEEE Standard for Binary Floating-Point Arithmetic does not require the result of such a conversion to be the best approximation. The author presents an efficient algorithm that always finds the best approximation. The algorithm uses a few extra bits of precision to compute an IEEE-conforming approximation while testing an intermediate result to determine whether the approximation could be other than the best. If the approximation might not be the best, then the best approximation is determined by a few simple operations on multiple-precision integers, where the precision is determined by the input. When using 64 bits of precision to compute IEEE double precision results, the algorithm avoids higher-precision arithmetic over 99\% of the time.", acknowledgement = ack-nhfb # " and " # ack-nj, affiliation = "Oregon Univ., Eugene, OR, USA", annote = "Published as part of the Proceedings of PLDI'90.", classification = "722; 723; C1160 (Combinatorial mathematics); C5230 (Digital arithmetic methods); C7310 (Mathematics)", confdate = "20-22 June 1990", conference = "Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation", conferenceyear = "1990", conflocation = "White Plains, NY, USA", confsponsor = "ACM", journalabr = "SIGPLAN Not", keywords = "algorithms; Best binary floating point approximation; Computer Programming Languages; Computers, Digital --- Computational Methods; Decimal scientific notation; Design; Efficient algorithm; experimentation; Fixed precision; Floating point numbers; Floating Point Numbers; Higher-precision arithmetic; IEEE double precision results; IEEE Standard; IEEE-conforming approximation; Intermediate result; Multiple-precision integers", meetingaddress = "White Plains, NY, USA", meetingdate = "Jun 20--22 1990", meetingdate2 = "06/20--22/90", sponsor = "Assoc for Computing Machinery, Special Interest Group on Programming Languages", subject = "{\bf F.2.1} Theory of Computation, ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, Numerical Algorithms and Problems. {\bf G.1.0} Mathematics of Computing, NUMERICAL ANALYSIS, General, Computer arithmetic. {\bf G.1.2} Mathematics of Computing, NUMERICAL ANALYSIS, Approximation.", thesaurus = "Digital arithmetic; Mathematics computing; Number theory; Standards", } @Article{Coles:2003:AMF, author = "Stephen Coles and Thomas Phinney", title = "{Adobe} \& {MM} Fonts: Insight From the Inside", journal = "Typographica", day = "9", month = oct, year = "2003", bibdate = "Tue Dec 30 06:34:18 2003", URL = "http://typographi.ca/000706.php", acknowledgement = ack-nhfb, } @Article{Fine:TB22-4-292, author = "Jonathan Fine", title = "{{Instant Preview and the {\TeX} daemon}}", journal = j-TUGboat, volume = "22", number = "4", pages = "292--298", month = dec, year = "2001", ISSN = "0896-3207", bibdate = "Sat Jul 5 17:27:22 MDT 2003", bibsource = "ftp://ftp.math.utah.edu/pub/tex/bib/tugboat.bib; http://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat", acknowledgement = ack-bnb # " and " # ack-nhfb, } @Book{Gillam:2003:UDP, author = "Richard Gillam", title = "{Unicode} demystified: a practical programmer's guide to the encoding standard", publisher = pub-AW, address = pub-AW:adr, pages = "xxxiii + 853", year = "2003", ISBN = "0-201-70052-2", LCCN = "QA76.6 .G5535 2002", bibdate = "Tue Nov 05 14:15:02 2002", price = "UK\pounds 37.99", acknowledgement = ack-nhfb, } @Book{Goldfarb:1990:SH, author = "Charles F. Goldfarb and Yuri Rubinsky", title = "The {SGML} handbook", publisher = pub-CLARENDON-PRESS, address = pub-CLARENDON-PRESS:adr, pages = "xxiv + 663", year = "1990", ISBN = "0-19-853737-9", LCCN = "Z286.E43 G64 1990", bibdate = "Fri May 26 08:13:56 1995", price = "US\$75.00", acknowledgement = ack-nhfb, keywords = "electronic publishing; SGML (computer program language)", } @Book{Goldfarb:1998:XH, author = "Charles F. Goldfarb and Paul Prescod", title = "The {XML} Handbook", publisher = pub-PHPTR, address = pub-PHPTR:adr, pages = "xliv + 639", year = "1998", ISBN = "0-13-081152-1", LCCN = "QA76.76.H92G65 1998", bibdate = "Wed Jun 17 07:28:52 1998", price = "US\$44.95", URL = "http://www.phptr.com/ptrbooks/ptr_0130811521.html", acknowledgement = ack-nhfb, keywords = "XML (Document markup language)", } @Book{Goossens:1994:LC, author = "Michel Goossens and Frank Mittelbach and Alexander Samarin", title = "The {\LaTeX} Companion", publisher = pub-AW, address = pub-AW:adr, edition = "Second", pages = "xxi + 530", year = "1994", ISBN = "0-201-54199-8", LCCN = "Z253.4.L38 G66 1994", bibdate = "Wed Nov 16 12:41:07 1994", price = "US\$34.25", series = "Tools and Techniques for Computer Typesetting", acknowledgement = ack-nhfb, } @Book{Goossens:1997:LGC, author = "Michel Goossens and Sebastian Rahtz and Frank Mittelbach", title = "The {\LaTeX} Graphics Companion: Illustrating Documents with {\TeX} and {PostScript}", publisher = pub-AW, address = pub-AW:adr, pages = "xxi + 554", year = "1997", ISBN = "0-201-85469-4", LCCN = "Z253.4.L38G663 1997", bibdate = "Fri Jul 11 07:51:47 1997", price = "US\$39.75", series = "Tools and Techniques for Computer Typesetting", acknowledgement = ack-nhfb, keywords = "LaTeX (Computer file); Computerized typesetting.; PostScript (Computer program language); Scientific illustration -- Computer programs.; Mathematics printing -- Computer programs.; Technical publishing -- Computer programs.", } @Book{Goossens:1999:LWC, author = "Michel Goossens and Sebastian Rahtz", title = "The {\LaTeX} {Web} companion: integrating {\TeX}, {HTML}, and {XML}", publisher = pub-AW-LONGMAN, address = pub-AW-LONGMAN:adr, pages = "xxii + 522", year = "1999", ISBN = "0-201-43311-7", LCCN = "QA76.76.H94G66 1999", bibdate = "Thu Jun 03 09:32:08 1999", note = "With Eitan M. Gurari and Ross Moore and Robert S. Sutor.", price = "US\$36.95", series = "Tools and Techniques for Computer Typesetting", acknowledgement = ack-nhfb, } @Article{Greene:TB11-3-381, author = "Andrew Marc Greene", title = "{{\BaSiX: An interpreter written in {\TeX}}}", journal = j-TUGboat, volume = "11", number = "3", pages = "381--392", month = sep, year = "1990", ISSN = "0896-3207", bibdate = "Sat Jul 5 17:27:22 MDT 2003", bibsource = "ftp://ftp.math.utah.edu/pub/tex/bib/tugboat.bib; http://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat", acknowledgement = ack-bnb # " and " # ack-nhfb, } @InCollection{Gries:1990:BDO, author = "David Gries", title = "Binary to Decimal, One More Time", crossref = "Feijen:1990:BOB", chapter = "16", pages = "141--148", year = "1990", bibdate = "Sat Sep 03 09:41:32 1994", note = "This paper presents an alternate proof of Knuth's algorithm \cite{Knuth:1990:SPW} for conversion between decimal and fixed-point binary numbers.", acknowledgement = ack-nhfb, } @Article{Hobby:TB10-4-505, author = "John D. Hobby", title = "{A {\MF}-like system with {\PS} output}", journal = j-TUGboat, volume = "10", number = "4", pages = "505--512", month = dec, year = "1989", ISSN = "0896-3207", bibdate = "Sat Jul 5 17:27:22 MDT 2003", bibsource = "ftp://ftp.math.utah.edu/pub/tex/bib/tugboat.bib; http://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat", acknowledgement = ack-bnb # " and " # ack-nhfb, } @Book{Hoenig:1998:TUL, author = "Alan Hoenig", title = "{\TeX} Unbound: {\LaTeX} and {\TeX} Strategies for Fonts, Graphics, \& More", publisher = pub-OXFORD, address = pub-OXFORD:adr, pages = "ix + 580", year = "1998", ISBN = "0-19-509686-X (paperback), 0-19-509685-1 (hardcover)", LCCN = "Z253.4.L38H64 1997", bibdate = "Wed Apr 29 14:32:29 1998", price = "US\$60.00 (hardcover), US\$35.00 (paperback)", URL = "http://www.oup-usa.org/gcdocs/gc_0195096851.html", acknowledgement = ack-nhfb, keywords = "{\LaTeX} (Computer file); {\TeX} (Computer file); METAFONT; Computer fonts; Computer graphics; Computerized typesetting; Mathematics printing --- Computer programs; Technical publishing --- Computer programs", } @Book{Holub:1990:CDC, author = "Allen I. Holub", title = "Compiler Design in {C}", publisher = pub-PH, address = pub-PH:adr, pages = "xviii + 924", year = "1990", ISBN = "0-13-155045-4", LCCN = "QA76.76.C65 H65 1990", bibdate = "Wed Dec 15 09:13:20 1993", note = "Prentice-Hall Software Series, Editor: Brian W. Kernighan.", } @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", note = "Revised 1990. A preliminary draft was published in the January 1980 issue of IEEE Computer, together with several companion articles. Also standardized as {{\em IEC 60559 (1989-01) Binary floating-point arithmetic for microprocessor systems}}.", price = "US\$35.00", URL = "http://standards.ieee.org/reading/ieee/std_public/description/busarch/754-1985_desc.html", xxURL = "http://standards.ieee.org/reading/ieee/std_public/description/busarch/754-1985_desc.html; http://standards.ieee.org/reading/ieee/std/busarch/754-1985.pdf; http://www.iec.ch/cgi-bin/procgi.pl/www/iecwww.p?wwwlang=E&wwwprog=cat-det.p&wartnum=019113", acknowledgement = ack-nhfb, bibdate = "Mon Jan 8 08:12:56 2001", } @Article{Knuth:1965:OTL, author = "Donald E. Knuth", title = "On the translation of languages from left to right", journal = j-INFO-CTL, volume = "8", number = "6", pages = "607--639", month = dec, year = "1965", CODEN = "IFCNA4", ISSN = "0019-9958", MRclass = "94.50", MRnumber = "32 #7360", MRreviewer = "S. Ginsburg", bibdate = "Fri Mar 22 18:03:29 MST 2002", bibsource = "MathSciNet database", note = "Russian translation by A. A. Muchnik in {\sl \t Iazyki i Avtomaty}, ed.\ by A. N. Maslov and {\'E}. D. Stotski{\u\i} (Moscow: Mir, 1975), 9--42. Reprinted in {\sl Great Papers in Computer Science\/} (1996) \cite{Laplante:1996:GPC}.", acknowledgement = ack-nhfb, } @Article{Knuth:1981:BPL, author = "Donald E. Knuth and Michael F. Plass", title = "Breaking Paragraphs into Lines", journal = j-SPE, volume = "11", number = "11", pages = "1119--1184", month = nov, year = "1981", CODEN = "SPEXBL", ISSN = "0038-0644", bibdate = "Mon Jul 25 11:30:03 1994", acknowledgement = ack-hk, keywords = "algorithms; design", review = "ACM CR 39160", subject = "I.7 Computing Methodologies, TEXT PROCESSING, Document Preparation", } @TechReport{Knuth:1988:ET, author = "Donald E. Knuth", title = "The Errors of {\TeX}", number = "STAN-CS-88-1223", institution = inst-STAN-CS, xxpages = "??", month = sep, year = "1988", bibdate = "Sun May 02 09:43:32 1999", note = "See \cite{Knuth:1989:ET}.", acknowledgement = ack-nhfb, } @Article{Knuth:1989:ET, author = "Donald E. Knuth", title = "The errors of {\TeX}", journal = j-SPE, volume = "19", number = "7", pages = "607--685", month = jul, year = "1989", CODEN = "SPEXBL", ISSN = "0038-0644", bibdate = "Sat May 31 13:36:16 MDT 1997", note = "This is an updated version of \cite{Knuth:1988:ET}. Reprinted with additions and corrections in \cite[pp.~243--339]{Knuth:1992:LP}.", acknowledgement = ack-nhfb, keywords = "languages; design; reliability; documentation", subject = "D.2.5 Software, SOFTWARE ENGINEERING, Testing and Debugging, Debugging aids \\ D.2.5 Software, SOFTWARE ENGINEERING, Testing and Debugging, Error handling and recovery \\ I.7.1 Computing Methodologies, TEXT PROCESSING, Text Editing, TeX", } @InCollection{Knuth:1990:SPW, author = "Donald E. Knuth", title = "A Simple Program Whose Proof Isn't", crossref = "Feijen:1990:BOB", chapter = "27", pages = "233--242", year = "1990", bibdate = "Mon Feb 03 07:07:55 2003", note = "This paper discusses the algorithm used in {\TeX} for converting between decimal and scaled fixed-point binary values, and for guaranteeing a minimum number of digits in the decimal representation. See also \cite{Clinger:1990:HRF} for decimal to binary conversion, \cite{Steele:1990:HPF,Steele:2003:HPF} for binary to decimal conversion, and \cite{Gries:1990:BDO} for an alternate proof of Knuth's algorithm.", acknowledgement = ack-nhfb, } @Book{Knuth:1992:LP, author = "Donald E. Knuth", title = "Literate Programming", publisher = pub-SUCSLI, address = pub-SUCSLI:adr, pages = "xv + 368", year = "1992", ISBN = "0-937073-80-6 (paper), 0-937073-81-4 (cloth)", LCCN = "QA76.6.K644", bibdate = "Sun Jul 10 01:09:29 1994", price = "US\$24.95", series = "CSLI Lecture Notes Number 27", acknowledgement = ack-nhfb, } @Book{Knuth:1993:CSS, author = "Donald E. Knuth and Silvio Levy", title = "The {CWEB} System of Structured Documentation, Version 3.0", publisher = pub-AW, address = pub-AW:adr, pages = "226", year = "1993", ISBN = "0-201-57569-8", LCCN = "QA76.9.D3 K6 1993", bibdate = "Thu May 12 08:36:22 1994", acknowledgement = ack-nhfb, } @Book{Knuth:1999:DT, author = "Donald E. Knuth", title = "Digital Typography", publisher = pub-CSLI, address = pub-CSLI:adr, pages = "xvi + 685", year = "1999", ISBN = "1-57586-011-2 (cloth), 1-57586-010-4 (paperback)", LCCN = "Z249.3.K59 1998", bibdate = "Mon May 10 18:01:36 1999", price = "US\$90.00 (cloth), US\$39.95 (paperback)", acknowledgement = ack-nhfb, } @Book{Knuth:ct-a, author = "Donald E. Knuth", title = "The {\TeX}book", volume = "{\noopsort{1986a}}A", publisher = pub-AW, address = pub-AW:adr, pages = "ix + 483", year = "1986", ISBN = "0-201-13447-0", LCCN = "Z253.4.T47 K58 1986", bibdate = "Wed Dec 15 10:36:52 1993", series = "Computers and Typesetting", } @Book{Knuth:ct-b, author = "Donald E. Knuth", title = "{\TeX}: The Program", volume = "B", publisher = pub-AW, address = pub-AW:adr, pages = "xv + 594", year = "{\noopsort{1986b}}1986", ISBN = "0-201-13437-3", LCCN = "Z253.4.T47 K578 1986", bibdate = "Wed Dec 15 10:36:54 1993", series = "Computers and Typesetting", } @Book{Knuth:ct-c, author = "Donald E. Knuth", title = "The {\METAFONT}book", volume = "C", publisher = pub-AW, address = pub-AW:adr, pages = "xi + 361", year = "{\noopsort{1986c}}1986", ISBN = "0-201-13445-4", LCCN = "Z250.8.M46 K58 1986", bibdate = "Wed Dec 15 10:37:29 1993", series = "Computers and Typesetting", } @Book{Knuth:ct-d, author = "Donald E. Knuth", title = "{\METAFONT}: The Program", volume = "D", publisher = pub-AW, address = pub-AW:adr, pages = "xv + 560", year = "{\noopsort{1986d}}1986", ISBN = "0-201-13438-1", LCCN = "Z250.8.M46 K578 1986", bibdate = "Wed Dec 15 10:37:32 1993", series = "Computers and Typesetting", } @Book{Knuth:ct-e, author = "Donald E. Knuth", title = "Computer Modern Typefaces", volume = "E", publisher = pub-AW, address = pub-AW:adr, pages = "xv + 588", year = "{\noopsort{1986e}}1986", ISBN = "0-201-13446-2", LCCN = "Z250.8.M46 K574 1986", bibdate = "Wed Dec 15 10:37:33 1993", series = "Computers and Typesetting", } @Article{Knuth:TB8-1-14, author = "Donald Knuth and Pierre MacKay", title = "{Mixing right-to-left texts with left-to-right texts}", journal = j-TUGboat, volume = "8", number = "1", pages = "14--25", month = apr, year = "1987", ISSN = "0896-3207", bibdate = "Sat Jul 5 17:27:22 MDT 2003", bibsource = "ftp://ftp.math.utah.edu/pub/tex/bib/tugboat.bib; http://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat", acknowledgement = ack-bnb # " and " # ack-nhfb, } @Article{Knuth:TB11-1-13, author = "Donald Knuth", title = "{Virtual Fonts: More Fun for Grand Wizards}", journal = j-TUGboat, volume = "11", number = "1", pages = "13--23", month = apr, year = "1990", ISSN = "0896-3207", bibdate = "Sat Jul 5 17:27:22 MDT 2003", bibsource = "ftp://ftp.math.utah.edu/pub/tex/bib/tugboat.bib; http://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat", acknowledgement = ack-bnb # " and " # ack-nhfb, } @Book{Lamport:1985:LDP, author = "Leslie Lamport", title = "{\LaTeX}\emdash {A} Document Preparation System\emdash User's Guide and Reference Manual", publisher = pub-AW, address = pub-AW:adr, pages = "xiv + 242", year = "1985", ISBN = "0-201-15790-X", LCCN = "Z253.4.L38 L35 1986", bibdate = "Wed Dec 15 10:38:04 1993", } @Book{Lamport:1994:LDP, author = "Leslie Lamport", title = "{\LaTeX}: {A} Document Preparation System: User's Guide and Reference Manual", publisher = pub-AW, address = pub-AW:adr, edition = "Second", pages = "xvi + 272", year = "1994", ISBN = "0-201-52983-1", LCCN = "Z253.4.L38L35 1994", bibdate = "Sat Mar 07 09:39:20 1998", note = "Reprinted with corrections in 1996.", acknowledgement = ack-nhfb, } @Book{Lunde:1993:UJI, author = "Ken Lunde", title = "Understanding {Japanese} Information Processing", publisher = pub-ORA, address = pub-ORA:adr, pages = "xxxii + 435", year = "1993", ISBN = "1-56592-043-0", LCCN = "PL524.5.L86 1993", bibdate = "Sun May 02 07:51:15 1999", xxnote = "See \cite{Reischauer:1988:JTC}.", price = "US\$29.95", } @Book{Lunde:1999:CIP, author = "Ken Lunde", title = "CJKV Information Processing: Chinese, Japanese, Korean \& Vietnamese Computing", publisher = pub-ORA, address = pub-ORA:adr, pages = "1174", year = "1999", ISBN = "1-56592-224-7", LCCN = "PL1074.5 .L85 1999", bibdate = "Sat Apr 07 10:38:11 2001", price = "US\$64.95", URL = "http://www.oreilly.com/catalog/cjkvinfo/", acknowledgement = ack-nhfb # " and " # ack-kl, tableofcontents = " Foreword xv\\ Preface xvii\\ 1. CJKV Information Processing Overview 1\\ Multiple Writing Systems 2\\ Character Set Standards 7\\ Encoding Methods 8\\ Input Methods 10\\ Typography 14\\ Basic Concepts & Terminology 14\\ 2. Writing Systems 29\\ Latin Characters & Transliteration 30\\ Zhuyin 43\\ Kana 44\\ Hangul 50\\ Chinese Characters 52\\ Non-Chinese Chinese Characters 64\\ 3. Character Set Standards 69\\ Non-Coded Character Set Standards 70\\ Coded Character Set Standards 74\\ International Character Set Standards 124\\ Character Set Standard Oddities 134\\ Non-Coded Versus Coded Character Sets 136\\ Information Interchange Versus Professional Publishing 138\\ Advice to Developers 140\\ 4. Encoding Methods 143\\ Locale-Independent Encoding Methods 145\\ Locale-Specific Encoding Methods 176\\ Comparing CJKV Encoding Methods 194\\ International Encoding Methods 195\\ Charset Designations 206\\ Code Pages 209\\ Code Conversion 213\\ Repairing Unreadable CJKV Text 219\\ Beware of Little & Big Endian Issues 224\\ Advice to Developers 224\\ 5. Input Methods 227\\ Transliteration Techniques 229\\ Input Techniques 235\\ User Interface Concerns 249\\ Keyboard Arrays 249\\ Other Input Hardware 272\\ Input Method Software 273\\ 6. Font Formats 281\\ Typeface Design Issues 282\\ Bitmapped Fonts 283\\ Outline Fonts 289\\ Ruby Fonts 322\\ Host-Based Versus Printer-Resident Fonts 323\\ Creating Your Own Fonts 335\\ External Character Handling 339\\ Advice to Developers 350\\ 7. Typography 351\\ Rules, Rules, Rules... 352\\ Typographic Units & Measurements 353\\ Horizontal & Vertical Layout 357\\ Line Breaking & Word Wrapping 368\\ Character Spanning 372\\ Alternate Metrics 373\\ Kerning 380\\ Line Length Issues 381\\ Multilingual Text 383\\ Glyph Substitution 387\\ Annotations 389\\ Typographic Software 394\\ 8. Output Methods 405\\ Where Can Fonts Live? 406\\ Printer Output 407\\ PostScript CJKV Printers 407\\ Computer Monitor Output 412\\ Other Printing Methods 416\\ The Role of Printer Drivers 417\\ Output Tips & Tricks 420\\ Advice to Developers 422\\ 9. Information Processing Techniques 425\\ Language, Country & Script Codes 426\\ Programming Languages 429\\ Code Conversion Algorithms 433\\ Java Programming Examples 442\\ Miscellaneous Algorithms 446\\ Byte Versus Character Handling 452\\ Character Sorting 460\\ Natural Language Processing 462\\ Regular Expressions 464\\ Search Engines 467\\ Code Processing Tools 467\\ 10. Operating Systems, Text Editors & Word Processors 475\\ Viewing CJKV Text on Non-CJKV Systems 477\\ Operating Systems 477\\ Hybrid Environments 489\\ Text Editors 492\\ Word Processors 499\\ Dedicated Word Processors 503\\ 11. Dictionaries & Dictionary Software 505\\ Chinese Character Dictionary Indexes 505\\ Character Dictionaries 513\\ Other Useful Dictionaries 518\\ Dictionary Hardware 519\\ Dictionary Software 520\\ Machine Translation Software 528\\ Machine Translation Services 529\\ Learning Aids 530\\ 12. The Internet 533\\ Email 534\\ News 539\\ FTP & Telnet 540\\ Network Domains 542\\ Getting Connected 545\\ Internet Software 545\\ 13. The World Wide Web 553\\ Content Versus Presentation 553\\ Displaying Web Documents 556\\ Authoring HTML Documents 557\\ Authoring XML Documents 561\\ Authoring PDF Documents 562\\ Character References 564\\ CGI Programming Examples 565\\ Shall We Surf? 568\\ A. Code Conversion Tables 569\\ B. Notation Conversion Table 573\\ C. Vendor Character Set Standards 577\\ Chinese Vendor Character Sets -- China 578\\ Chinese Vendor Character Sets -- Taiwan 582\\ Chinese Vendor Character Sets -- Hong Kong 587\\ Japanese Vendor Character Sets 593\\ Korean Vendor Character Sets 623\\ D. Vendor Encoding Methods 635\\ Brief Overview of IBM Encodings 636\\ Chinese Vendor Encodings -- China 637\\ Chinese Vendor Encodings -- Taiwan 640\\ Chinese Vendor Encodings -- Hong Kong 643\\ Japanese Vendor Encodings 644\\ Korean Vendor Encodings 665\\ E. GB 2312-80 Table 671\\ F. GB/T 12345-90 Table 687\\ G. CNS 11643-1992 Table 703\\ CNS 11643-1992 Plane 1 703\\ CNS 11643-1992 Plane 2 715\\ CNS 11643-1992 Plane 3 729\\ CNS 11643-1992 Plane 4 741\\ CNS 11643-1992 Plane 5 755\\ CNS 11643-1992 Plane 6 771\\ CNS 11643-1992 Plane 7 783\\ CNS 11643-1986 Plane 15 795\\ H. Big Five Table 809\\ Big Five Level 1 809\\ Big Five Level 2 823\\ I. Hong Kong GCCS Table 841\\ J. JIS X 0208:1997 Table 851\\ K. JIS X 0212-1990 Table 865\\ L. KS X 1001:1992 Table 877\\ M. KS X 1002:1991 Hanja Table 893\\ N. Hangul Reading Table 899\\ O. TCVN 6056:1995 Table 913\\ P. Code Table Indexes 921\\ GB 2312-80 Level 1 Reading Index 921\\ GB 2312-80 Level 2 Radical Index 922\\ Big Five & CNS 11643-1992 Stroke Index 924\\ JIS X 0208:1997 Level 1 Reading Index 926\\ JIS Radical Index 926\\ KS Hanja Reading Index 933\\ Q. Character Lists & Mapping Tables 935\\ GB 2312-80 Versus GB/T 12345-90 935\\ CNS 11643-1986 Versus CNS 11643-1992 954\\ JIS C 6226-1978 Versus JIS X 0208-1983 956\\ JIS X 0208-1983 Versus JIS X 0208-1990 960\\ JIS X 0212-1990 Versus JIS C 6226-1978 962\\ Joyo Kanji 963\\ IBM Selected Kanji & Non-Kanji 967\\ Duplicate Hanja in KS X 1001:1992 971\\ R. Chinese Character Lists 979\\ Hanzi Lists From China 979\\ Hanzi Lists From Taiwan 983\\ Kanji Lists From Japan 994\\ Hanja Lists From Korea 999\\ S. Single-Byte Code Tables 1003\\ Non-CJKV Code Tables 1003\\ Chinese Code Tables 1005\\ Japanese Code Tables 1006\\ Korean Code Tables 1008\\ TCVN-Roman Code Tables 1009\\ T. Software & Document Sources 1015\\ Anonymous FTP 1015\\ Searching for Files 1016\\ Useful URLs 1016\\ Commercial Sources 1017\\ U. Mailing Lists 1035\\ General Mailing Lists 1035\\ Chinese Mailing Lists 1040\\ Japanese Mailing Lists 1040\\ Korean Mailing Lists 1045\\ V. Professional Organizations 1047\\ Oriental Language Computer Society 1047\\ International Macintosh Users Group 1047\\ The Localisation Industry Standards Association 1048\\ The Unicode Consortium 1048\\ W. Perl Code Examples 1049\\ Japanese Code Conversion 1049\\ Korean Code Conversion 1054\\ TRON Code Conversion 1056\\ Unicode Code Conversion 1058\\ Encoding Detection 1059\\ Repairing ISO-2022-JP Encoding 1061\\ Other Useful Transformations 1062\\ CJKV Encoding Templates 1062\\ Multiple-Byte Anchoring 1064\\ Multiple-Byte Processing 1065\\ X. Glossary 1067\\ Bibliography 1095\\ Index 1113", } @Article{Mittelbach:TB10-3-407, author = "Frank Mittelbach", title = "{An environment for multicolumn output}", journal = j-TUGboat, volume = "10", number = "3", pages = "407--415", month = nov, year = "1989", ISSN = "0896-3207", bibdate = "Sat Jul 5 17:27:22 MDT 2003", bibsource = "ftp://ftp.math.utah.edu/pub/tex/bib/tugboat.bib; http://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat", acknowledgement = ack-bnb # " and " # ack-nhfb, } @Article{Mong:TB3-2-25, author = "Sao Khai Mong", title = "{{A Fortran version of {\MF}}}", journal = j-TUGboat, volume = "3", number = "2", pages = "25--25", month = oct, year = "1982", ISSN = "0896-3207", bibdate = "Sat Jul 5 17:27:22 MDT 2003", bibsource = "ftp://ftp.math.utah.edu/pub/tex/bib/tugboat.bib; http://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat", acknowledgement = ack-bnb # " and " # ack-nhfb, } @Book{Neumann:1995:CRR, author = "Peter G. Neumann", title = "Computer-Related Risks", publisher = pub-AW, address = pub-AW:adr, pages = "xv + 367", year = "1995", ISBN = "0-201-55805-X", LCCN = "QA76.5 .N424 1995", bibdate = "Mon Dec 29 09:14:43 2003", URL = "http://www.csl.sri.com/neumann.html", acknowledgement = ack-nhfb, } @Article{Ogawa:TB22-3-131, author = "Arthur Ogawa", title = "{{REV\TeX} version 4.0, an authoring package by the {American Physical Society}}", journal = j-TUGboat, volume = "22", number = "3", pages = "131--133", month = sep, year = "2001", ISSN = "0896-3207", bibdate = "Sat Jul 5 17:27:22 MDT 2003", bibsource = "ftp://ftp.math.utah.edu/pub/tex/bib/tugboat.bib; http://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat", acknowledgement = ack-bnb # " and " # ack-nhfb, } @InCollection{Plass:1982:CBL, author = "Michael F. Plass and Donald E. Knuth", title = "Choosing better line breaks", crossref = "Nievergelt:1982:DPS", xxchapter = "??", pages = "221--242", year = "1982", bibdate = "Mon Aug 22 14:25:12 1994", abstract = "This article discusses a new approach to the problem of dividing the text of a paragraph into lines of approximately equal length. Instead of simply making decisions one line at a time, the method considers the paragraph as a whole, so that the final appearance of a given line might be influenced by the text on succeeding lines. A system based on three simple primitive concepts called ``boxes,'' ``glue,'' and ``kerns'' provides the ability to deal satisfactorily with a wide variety of typesetting problems in a unified framework, using a single algorithm that determines optimum breakpoints. This algorithm avoids backtracking by a judicious use of the techniques of dynamic programming. Extensive computational experience confirms that the approach is both efficient and effective in producing high-quality output.", acknowledgement = ack-nhfb, keywords = "algorithms; documentation", review = "ACM CR 40914", subject = "I.7 Computing Methodologies, TEXT PROCESSING, Text Editing \\ I.7.2 Computing Methodologies, TEXT PROCESSING, Document Preparation, Format and notation", } @Article{Probets:2003:SOF, author = "S. G. Probets and D. F. Brailsford", title = "Substituting outline fonts for bitmap fonts in archived {PDF} files", journal = j-SPE, volume = "33", number = "9", pages = "885--899", day = "25", month = jul, year = "2003", CODEN = "SPEXBL", ISSN = "0038-0644", bibdate = "Sat Nov 29 17:39:47 MST 2003", bibsource = "http://www3.interscience.wiley.com/journalfinder.html; http://www.interscience.wiley.com/jpages/0038-0644", URL = "http://www.eprg.org/research/", xxURL = "http://www.cs.nott.ac.uk/~dfb/Publications/Download/2003/Probets03.pdf; http://www.eprg.org/research/; http://brain.mhri.edu.au/text/texpdf/texpdf-ffont.html", acknowledgement = ack-nhfb, DOI = "10.1002/spe.532", onlinedate = "25 Jun 2003", } @Article{Rokicki:TB6-3-115, author = "Tomas Rokicki", title = "{Packed ({\tt PK}) font file format}", journal = j-TUGboat, volume = "6", number = "3", pages = "115--120", month = nov, year = "1985", ISSN = "0896-3207", bibdate = "Sat Jul 5 17:27:22 MDT 2003", bibsource = "ftp://ftp.math.utah.edu/pub/tex/bib/tugboat.bib; http://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat", acknowledgement = ack-bnb # " and " # ack-nhfb, } @Article{Semenzato:TB12-34-434, author = "Luigi Semenzato and Edward Wang", title = "{A text processing language should be first a programming language}", journal = j-TUGboat, volume = "12", number = "3", pages = "434--441", month = nov, year = "1991", ISSN = "0896-3207", bibdate = "Sat Jul 5 17:27:22 MDT 2003", bibsource = "ftp://ftp.math.utah.edu/pub/tex/bib/tugboat.bib; http://www.math.utah.edu/pub/tex/bib/index-table-t.html#tugboat", acknowledgement = ack-bnb # " and " # ack-nhfb, } @Book{Sewell:1989:WPL, author = "E. Wayne Sewell", title = "Weaving a Program: Literate Programming in {\WEB}", publisher = pub-VAN-NOSTRAND-REINHOLD, address = pub-VAN-NOSTRAND-REINHOLD:adr, pages = "xx + 556", year = "1989", ISBN = "0-442-31946-0", LCCN = "QA76.73.W24 S491 1989", bibdate = "Wed Dec 15 10:41:40 1993", } @Article{SIGGRAPH:core77, author = "{ACM\slash SIGGRAPH}", title = "Status Report of the {Graphic Standards Planning} {Committee} of {ACM\slash SIGGRAPH}", journal = j-SIGGRAPH, volume = "11", number = "3", year = "1977", bibdate = "Sat Oct 28 08:26:45 2000", } @Article{SIGGRAPH:core79, author = "{ACM\slash SIGGRAPH}", title = "Status Report of the {Graphic Standards Planning} {Committee} of {ACM\slash SIGGRAPH}", journal = j-SIGGRAPH, volume = "13", number = "3", month = aug, year = "1979", bibdate = "Sat Oct 28 08:26:48 2000", } @Article{Steele:1990:HPF, author = "Guy L. {Steele Jr.} and Jon L. White", title = "How to Print Floating-Point Numbers Accurately", journal = j-SIGPLAN, volume = "25", number = "6", pages = "112--126", month = jun, year = "1990", CODEN = "SINODQ", ISSN = "0362-1340", bibdate = "Mon Feb 03 07:07:50 2003", note = "See also input algorithm in \cite{Clinger:1990:HRF}, and a faster output algorithm in \cite{Burger:1996:PFN} and \cite{Knuth:1990:SPW}, IBM S/360 algorithms in \cite{Abbott:1999:ASS} for both IEEE 754 and S/360 formats, and a twenty-year retrospective \cite{Steele:2003:HPF}. In electronic mail dated Wed, 27 Jun 1990 11:55:36 EDT, Guy Steele reported that an intrepid pre-SIGPLAN 90 conference implementation of what is stated in the paper revealed 3 mistakes: \begin{itemize} \item[1.] Table~5 (page 124):\par \noindent insert {\tt k <-- 0} after assertion, and also delete {\tt k <-- 0} from Table~6. \item[2.] Table~9 (page 125):\par \noindent \begin{tabular} {ll} for & {\tt -1:USER!({"}{"});} \\ substitute & {\tt -1:USER!({"}0{"});} \end{tabular}\par \noindent and delete the comment. \item[3.] Table~10 (page 125):\par \noindent \begin{tabular}{ll} for & {\tt fill(-k, {"}0{"})}\\ substitute & {\tt fill(-k-1, {"}0{"})} \end{tabular} \end{itemize} \def\EatBibTeXPeriod#1{\ifx#1.\else#1\fi}\EatBibTeXPeriod", abstract = "Algorithms are presented for accurately converting floating-point numbers to decimal representation. The key idea is to carry along with the computation an explicit representation of the required rounding accuracy. The authors begin with the simpler problem of converting fixed-point fractions. A modification of the well-known algorithm for radix-conversion of fixed-point fractions by multiplication explicitly determines when to terminate the conversion process; a variable number of digits are produced. They derive two algorithms for free-format output of floating-point numbers. Finally, they modify the free-format conversion algorithm for use in fixed-format applications. Information may be lost if the fixed format provides too few digit positions, but the output is always correctly rounded. On the other hand, no `garbage digits' are ever produced, even if the fixed format specifies too many digit positions (intuitively, the `4/3 prints as 1.333333328366279602' problem does not occur).", acknowledgement = ack-nhfb, affiliation = "Thinking Machines Corp., Cambridge, MA, USA", classification = "C5230 (Digital arithmetic methods); C7310 (Mathematics)", confdate = "20-22 June 1990", conflocation = "White Plains, NY, USA", confsponsor = "ACM", keywords = "Floating-point numbers; Decimal representation; Explicit representation; Rounding accuracy; Fixed-point fractions; Radix-conversion; Conversion process; Free-format output; Free-format conversion algorithm; Fixed-format applications; Garbage digits; Digit positions", language = "English", pubcountry = "USA", thesaurus = "Digital arithmetic; Mathematics computing", } @InProceedings{Steele:2003:HPF, author = "Guy L. {Steele Jr.} and Jon L. White", title = "How to Print Floating-Point Numbers Accurately", crossref = "ACM:2003:YAS", xxpages = "??--??", year = "2003", bibdate = "Tue Jan 28 11:58:16 2003", acknowledgement = ack-nhfb, pagecount = "3", } @Book{Syropoulos:2003:DTU, author = "Apostolos Syropoulos and Antonis Tsolomitis and Nick Sofroniou", title = "Digital typography using {\LaTeX}", publisher = pub-SV, address = pub-SV:adr, pages = "xxix + 510", year = "2003", ISBN = "0-387-95217-9", LCCN = "Z253.4.L38 S97 2003", bibdate = "Thu Mar 13 18:17:25 2003", acknowledgement = ack-nhfb, keywords = "Lambda; Omega; Unicode", } @Book{Unicode:2003:USV, author = "{The Unicode Consortium}", title = "The {Unicode Standard}, Version 4.0", publisher = pub-AW, address = pub-AW:adr, pages = "xxxviii + 1462", year = "2003", ISBN = "0-321-18578-1", LCCN = "QA268 .U545 2004", bibdate = "Tue Oct 21 17:47:30 2003", note = "Includes CD-ROM.", URL = "http://www.unicode.org/versions/Unicode4.0.0/", acknowledgement = ack-nhfb, } @Article{Warnock:1980:DCU, author = "J. E. Warnock", title = "The display of characters using gray level sample arrays", journal = j-COMP-GRAPHICS, volume = "14", number = "3", pages = "302--307", month = jul, year = "1980", CODEN = "CGRADI", ISSN = "0097-8930", bibsource = "Graphics/siggraph/80.bib, Graphics/imager/imager.80.bib, Graphics/siggraph/80.bib", keywords = "Algorithmic Aspects character generation/representation, Bilevel Graphics", } @Book{Wohlfeil:1998:PCB, author = "Stefan Wohlfeil", title = "On the Pagination of Complex, Book-Like Documents", publisher = "Shaker Verlag", address = "Aachen and Maastricht, The Netherlands", pages = "224", year = "1998", ISBN = "3-8265-3304-6", xxLCCN = "????", bibdate = "Tue Feb 09 08:23:52 1999", price = "DM 98.00", URL = "http://www.shaker.de/Online-Gesamtkatalog/Details.idc?ID=24201&CC=59311&IDSRC=1&ISBN=3-8265-3304-6&Reihe=15", xxURL = "http://wwwpi6.fernuni-hagen.de/Forschung/Pagination/; http://www.shaker.de/Online-Gesamtkatalog/Details.idc?ID=24201&CC=59311&IDSRC=1&ISBN=3-8265-3304-6&Reihe=15", acknowledgement = ack-cr # " and " # ack-nhfb, mailto = "Stefan.Wohlfeil@Fernuni-Hagen.de", } %%% ==================================================================== %%% Cross-referenced entries must come last: @Proceedings{ACM:2003:YAS, editor = "ACM", booktitle = "20 Years of the ACM/SIGPLAN Conference on Programming Language Design and Implementation (1979--1999): A Selection", title = "20 Years of the {ACM}/{SIGPLAN} Conference on Programming Language Design and Implementation (1979--1999): {A} Selection", publisher = pub-ACM, address = pub-ACM:adr, year = "2003", ISBN = "1-58113-623-4", xxLCCN = "????", bibdate = "Sat Nov 29 11:38:05 2003", acknowledgement = ack-nhfb, } @Book{Feijen:1990:BOB, editor = "W. H. J. Feijen and A. J. M. {van Gasteren} and D. Gries and J. Misra", booktitle = "Beauty is our business: a birthday salute to {Edsger W. Dijkstra}", title = "Beauty is our business: a birthday salute to {Edsger W. Dijkstra}", publisher = pub-SV, address = pub-SV:adr, pages = "xix + 453", year = "1990", ISBN = "0-387-97299-4", LCCN = "QA76 .B326 1990", bibdate = "Thu Mar 24 09:27:40 1994", acknowledgement = ack-nhfb, } @Book{Laplante:1996:GPC, editor = "Phillip Laplante", booktitle = "Great papers in computer science", title = "Great papers in computer science", publisher = pub-IEEE, address = pub-IEEE:adr, pages = "iv + 717", year = "1996", ISBN = "0-314-06365-X (paperback), 0-07-031112-4 (hardcover)", LCCN = "QA76 .G686 1996", bibdate = "Mon Jun 30 09:07:12 2003", URL = "http://bit.csc.lsu.edu/~chen/GreatPapers.html", acknowledgement = ack-nhfb, tableofcontents = "1.1 The Complexity of Theorem Proving Procedures 2 By Stephen A. Cook \\ \\ 1.2 On the Conceptual Complexity of Algorithms 10 \\ By J. Hartmanis and R. E. Stearns \\ \\ 1.3 Quicksort 31 \\ By C. A. R. Hoare \\ \\ 1.4 Finite Automata and Their Decision Problems 40 By M. O. Rabin and D. Scott \\ \\ Section 2 Programming Languages \\ \\ 2.1 The FORTRAN Automatic Coding System 62 \\ By J. W. Backus, et al. \\ \\ 2.2 An Axiomatic Basis for Computer Programming 80 By C. A. R. Hoare \\ \\ 2.3 An Axiomatic Definition of the Programming Language Pascal 90 \\ By C. A. R. Hoare and N. Wirth \\ \\ 2.4 The Contour Model of Block Structured Processes 111 By John B. Johnston \\ \\ 2.5 On the Translation of Languages from Left to Right 150 \\ By Donald E. Knuth \\ \\ 2.6 Revised Report on the Algorithmic Language ALGOL 60 174 \\ By Peter Naur, et al. \\ \\ Section 3 Architecture \\ \\ 3.1 First Draft of a Report on the EDVAC 208 \\ By John von Neumann \\ \\ 3.2 A Symbolic Analysis of Relay and Switching Circuits 219 \\ By Claude E. Shannon \\ \\ 3.3 Alto: A Personal Computer 246 \\ By C. P. Thacker, E. M. McCreight, B. W. Lampson, \\ R. F. Sproull, and D. R Boggs \\ \\ 3.4 The Best Way to Design an Automatic Calculating Machine 279 \\ By M. V. Wilkes \\ \\ Section 4 Numerical and Scientific Computing \\ \\ 4.1 On Computable Numbers, with an Application 287 to the Entscheidungsproblem \\ By A. M. Turing \\ \\ 4.2 On Computable Numbers, with an Application 317 to the Entscheidungsproblem. A Correction \\ By A. M. Turing \\ \\ Section 5 Operating Systems \\ \\ 5.1 Cooperating Sequential Processes 321 \\ By Edsger W. Dijkstra \\ \\ 5.2 Solution of a Problem in Concurrent Process Control 378 \\ By Edsger W. Dijkstra \\ \\ 5.3 A Formal System for Information Retrieval from Files 381 \\ By David Hsiao and Frank Harary \\ \\ Section 6 Software Methodology and Engineering \\ \\ 6.1 No Silver Bullet ? Essence and Accidents of 397 Software Engineering \\ By Frederick P. Brooks \\ \\ 6.2 Guarded Commands, Nondeterminancy, and 412 Formal Derivation of Programs \\ By Edsger W. Dijkstra \\ \\ 6.3 Go To Statement Considered Harmful 420 \\ By Edsger W. Dijkstra \\ \\ 6.4 Proof of Correctness of Data Representations 423 By C. A. R. Hoare \\ \\ 6.5 On the Criteria to be Used in Decomposing Systems 433 \\ into Modules \\ By David L. Parnas \\ \\ 6.6 A Rational Design Process: How and Why to Fake It 442 \\ By David L. Parnas and Paul C. Clements \\ \\ 6.7 Global Variables Considered Harmful 452 \\ By W. Wulf and M. Shaw \\ \\ Section 7 Databases \\ \\ 7.1 The Theory of Joins in Relational Databases 460 By A. V. Aho, C. Beeri, and J. D. Ullman \\ \\ 7.2 Organization and Maintenance of Large Ordered Indexes 478 \\ By R. Bayer and E. Mccreight \\ \\ 7.3 The Entity Relationship Model - Toward A Unified View of Data 494 \\ By Peter Pin-Shan Chen \\ \\ 7.4 A Relational Model of Data for Large Shared Data Banks 519 \\ By E. F. Codd \\ Section 8 Artificial Intelligence and Robotics \\ \\ 8.1 Steps Toward Artificial Intelligence 541 \\ By Marvin L. Minsky \\ \\ 8.2 Matter, Mind, and Models 580 \\ By Marvin L. Minsky \\ \\ 8.3 Fusion, Propagation, and Structuring in Belief Networks 586 \\ By Judea Pearl \\ \\ 8.4 Computing Machinery and intelligence 628 \\ By A. M. Turing \\ Section 9 Human-Computer Communications \\ \\ 9.1 Programming Considered as a Human Activity 648 By Edsger W. Dijkstra \\ \\ Section 10 History \\ \\ 10.1 Programming in America in the 1950s --- 665 \\ Some Personal Impressions \\ By John Backus \\ \\ 10.2 The Evolution of Data-Base Management Systems 663 By James P. Fry and Edgar H. Sibley \\ \\ 10.3 The Evolution of the UNIX Time-Sharing System 707 By Dennis M. Ritchie", price = "US\$23.95", } @Book{Nievergelt:1982:DPS, editor = "J. Nievergelt and G. Coray and J.-D. Nicoud and A. C. Shaw", booktitle = "Document Preparation Systems: A Collection of Survey Articles", title = "Document Preparation Systems: {A} Collection of Survey Articles", publisher = pub-ENH, address = pub-ENH:adr, pages = "xiv + 274", year = "1982", ISBN = "0-444-86493-8", LCCN = "Z244 .D63 1982", bibdate = "Mon Jul 25 11:49:30 1994", price = "US\$46.50", acknowledgement = ack-nhfb, keywords = "algorithms; human factors; languages; theory", review = "ACM CR 40376", subject = "H.1 Information Systems, MODELS AND PRINCIPLES, User/Machine Systems \\ I.7 Computing Methodologies, TEXT PROCESSING, Text Editing \\ I.7 Computing Methodologies, TEXT PROCESSING, Document Preparation J Computer Applications, COMPUTERS IN OTHER SYSTEMS", }