%% /u/sy/beebe/tex/talks/practical-tex-2005/pt2005.bib, Tue May 24 08:33:10 2005 %% Edit by Nelson H. F. Beebe @Preamble{"\newcommand{\noopsort}[1]{}" # "\newcommand{\doi}{DOI \begingroup \urlstyle{tt}\Url}" } %%% ==================================================================== %%% Institution abbreviations: @String{inst-STAN-CS = "Stanford University, Department of Computer Science"} @String{inst-STANFORD = "Stanford University"} @String{inst-STANFORD:adr = "Stanford, CA, USA"} %%% ==================================================================== %%% Journal abbreviations: @String{j-ALGOL-BULLETIN = "Algol Bulletin (Amsterdam: Mathematisch Centrum)"} @String{j-CACM = "Communications of the Association for Computing Machinery"} @String{j-COMPUTER = "Computer"} @String{j-IEEE-TRANS-SOFTW-ENG = "IEEE Transactions on Software Engineering"} @String{j-INFO-CTL = "Information and Control"} @String{j-MICROPROC-REP = "Microprocessor Report"} @String{j-SPE = "Soft\-ware\emdash Prac\-tice and Experience"} @String{j-TUGboat = "TUGboat"} %%% ==================================================================== %%% Publisher abbreviations: @String{pub-ACM = "ACM Press"} @String{pub-ACM:adr = "New York, NY 10036, USA"} @String{pub-ATT-BELL = "AT\&T Bell Laboratories"} @String{pub-ATT-BELL:adr = "Murray Hill, NJ, 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-CSLI = "CSLI Publications"} @String{pub-CSLI:adr = "Stanford, CA, USA"} @String{pub-DP = "Digital Press"} @String{pub-DP:adr = "12 Crosby Drive, Bedford, MA 01730, 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-MASARYKOVA = "Masarykova Universita"} @String{pub-MASARYKOVA:adr = "Brno, Czechoslovakia"} @String{pub-MCGRAW-HILL = "Mc{\-}Graw-Hill"} @String{pub-MCGRAW-HILL:adr = "New York, NY, 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 = "Englewood Cliffs, NJ, USA"} @String{pub-SIMON-SCHUSTER = "Simon and Schuster"} @String{pub-SIMON-SCHUSTER:adr = "New York, NY, 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-UNICODE = "The Unicode Consortium"} @String{pub-UNICODE-SAN-JOSE:adr = "P.O. Box 700519, San Jose, CA 95170-0519, USA, Phone: +1-408-777-5870, Fax: +1-408-777-5082, E-mail: \path=unicode-inc@unicode.org="} @String{pub-UNICODE-SAN-JOSE:adr = "San Jose, CA, USA"} @String{pub-VAN-NOSTRAND-REINHOLD = "Van Nostrand Reinhold"} @String{pub-VAN-NOSTRAND-REINHOLD:adr = "New York, NY, USA"} %%% ==================================================================== %%% Series abbreviations: @String{ser-LNCS = "Lecture Notes in Computer Science"} %%% ==================================================================== %%% Bibliography entries sorted by increasing year with "bibsort -byyear": @Article{Bachelor:1961:S, author = "G. A. Bachelor and J. R. H. Dempster and D. E. Knuth and J. Speroni", title = "{SMALGOL-61}", journal = j-CACM, volume = "4", number = "11", pages = "499--502", month = nov, year = "1961", CODEN = "CACMA2", ISSN = "0001-0782", bibdate = "Sat Mar 23 15:28:27 2002", URL = "http://doi.acm.org/10.1145/366813.366843", } @Article{Knuth:1961:AC, author = "Donald E. Knuth and Jack N. Merner", title = "{ALGOL 60} Confidential", journal = j-CACM, volume = "4", number = "6", pages = "268--272", month = jun, year = "1961", CODEN = "CACMA2", ISSN = "0001-0782", bibdate = "Sat Mar 23 15:01:37 2002", URL = "http://doi.acm.org/10.1145/366573.366599", } @Article{Backus:1963:ARR, author = "J. W. Backus and F. L. Bauer and J. Green and C. Katz and J. McCarthy and A. J. Perlis and H. Rutishauser and K. Samelson and B. Vauquois and J. H. Wegstein and A. van Wijngaarden and M. Woodger", title = "Revised Report on the Algorithmic Language {Algol 60}", journal = j-CACM, volume = "6", number = "1", pages = "1--17", month = jan, year = "1963", CODEN = "CACMA2", ISSN = "0001-0782", bibdate = "Wed May 25 17:59:29 2005", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib", note = "Edited by Peter Naur. Dedicated to the memory of William Turanski.", URL = "http://doi.acm.org/10.1145/366193.366201", } @Article{Knuth:1964:MB, author = "Donald E. Knuth", title = "Man or boy?", journal = j-ALGOL-BULLETIN, volume = "17", pages = "7", month = jan, year = "1964", CODEN = "ALGOBG", ISSN = "0084-6198", bibdate = "Fri Aug 12 23:24:40 1994", xxnumber = "??", } @Article{Knuth:1964:PIO, author = "D. E. Knuth and L. L. Bumgarner and D. E. Hamilton and P. Z. Ingerman and M. P. Lietzke and J. N. Merner and D. T. Ross", title = "A proposal for input-output conventions in {ALGOL 60}", journal = j-CACM, volume = "7", number = "5", pages = "273--283", month = may, year = "1964", CODEN = "CACMA2", ISSN = "0001-0782", bibdate = "Sat Mar 23 15:29:25 2002", note = "Russian translation by M. I. Ageev in {\sl Sovremennoe Programmirovanie\/ \bf 1} (Moscow: Soviet Radio, 1966), 73--107.", URL = "http://doi.acm.org/10.1145/364099.364222", abstract = "The ALGOL 60 language as first defined made no explicit reference to input and output processes. Such processes appeared to be quite dependent on the computer used, and so it was difficult to obtain agreement on those matters. As time has passed, a great many ALGOL compilers have come into use, and each compiler has incorporated some input-output facilities. Experience has shown that such facilities can be introduced in a manner which is compatible and consistent with the ALGOL language, and which (more importantly) is almost completely machine-independent. However, the existing implementations have taken many different approaches to the subject, and this has hampered the interchange of programs between installations. The ACM ALGOL committee has carefully studied the various proposals in an attempt to define a set of conventions for doing input and output which would be suitable for use on most computers. The present report constitutes the recommendations of that committee.", } @Article{Knuth:1965:MB, author = "Donald E. Knuth", title = "Man or boy?", journal = j-ALGOL-BULLETIN, volume = "19", number = "7", pages = "8--9", month = jan, year = "1965", CODEN = "ALGOBG", ISSN = "0084-6198", bibdate = "Fri Aug 12 23:24:40 1994", } @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 = "Reprinted in \cite{Laplante:1996:GPC}.", acknowledgement = ack-nhfb, xxnote = "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}.", } @Article{Knuth:1965:TA, author = "Donald E. Knuth", title = "Teaching {ALGOL 60}", journal = j-ALGOL-BULLETIN, volume = "19", pages = "4--6", month = jan, year = "1965", CODEN = "ALGOBG", ISSN = "0084-6198", bibdate = "Fri Aug 12 23:24:40 1994", xxnumber = "??", } @Article{Knuth:1967:RTS, author = "Donald E. Knuth", title = "The remaining trouble spots in {ALGOL 60}", journal = j-CACM, volume = "10", number = "10", pages = "611--618", month = oct, year = "1967", CODEN = "CACMA2", ISSN = "0001-0782", bibdate = "Sat Mar 23 15:01:52 2002", note = "Reprinted in E. Horowitz, {\sl Programming Languages: A Grand Tour\/} (Computer Science Press, 1982), 61--68", URL = "http://doi.acm.org/10.1145/363717.363743", acknowledgement = ack-nhfb, keywords = "algorithms; design; languages", subject = "D.3.2 Software, PROGRAMMING LANGUAGES, Language Classifications, ALGOL-60 \\ D.3.3 Software, PROGRAMMING LANGUAGES, Language Constructs, Procedures, functions, and subroutines", } @Book{Knuth:1968:FA, author = "Donald E. Knuth", title = "Fundamental Algorithms", volume = "1", publisher = pub-AW, address = pub-AW:adr, pages = "xxi + 634", year = "1968", ISBN = "0-201-03803-X", ISBN-13 = "978-0-201-03803-3", LCCN = "QA76.5 .K74", MRclass = "68.00 (65.00)", MRnumber = "44 #3530", MRreviewer = "M. Muller", bibdate = "Fri Mar 22 18:03:29 MST 2002", bibsource = "MathSciNet database", note = "Second printing, revised, July 1969.", series = "The Art of Computer Programming", xxnote = "Second printing, revised, July 1969, with page count xxi + 634.", xxprice = "US\$19.75", } @Book{Knuth:1969:SA, author = "Donald E. Knuth", title = "Semi\-nu\-mer\-i\-cal Algorithms", volume = "2", publisher = pub-AW, address = pub-AW:adr, pages = "xi + 624", year = "1969", ISBN = "0-201-03802-1", ISBN-13 = "978-0-201-03802-6", LCCN = "QA76.5 .K57", MRclass = "68.00 (65.00)", MRnumber = "44 #3531", MRreviewer = "M. Muller", bibdate = "Fri Mar 22 18:03:29 MST 2002", bibsource = "MathSciNet database", series = "The Art of Computer Programming", annote = "See translations \cite{Knuth:1977:SA,Knuth:1982:JSS,Knuth:1983:AS,Knuth:1986:JSS,Knuth:1987:SA,Knuth:1992:BSZ,Knuth:199x:AS}.", xxprice = "US\$19.75", } @Book{Knuth:1971:SA, author = "Donald E. Knuth", title = "Semi\-nu\-mer\-i\-cal Algorithms", volume = "2", publisher = pub-AW, address = pub-AW:adr, pages = "xii + 624", year = "1971", ISBN = "0-201-03802-1", ISBN-13 = "978-0-201-03802-6", LCCN = "QA76.5 .K57", bibdate = "Wed Dec 15 15:47:38 1993", note = "Second printing, revised, November 1971.", series = "The Art of Computer Programming", xxprice = "US\$19.75", } @Article{Wirth:1971:DPC, author = "Niklaus Wirth", title = "The Design of a {PASCAL} Compiler", journal = j-SPE, volume = "1", number = "4", pages = "309--333", month = oct # "\slash " # dec, year = "1971", CODEN = "SPEXBL", ISSN = "0038-0644", bibdate = "Sat May 31 13:36:16 MDT 1997", acknowledgement = ack-nhfb, } @Article{Wulf:1971:BLS, author = "W. A. (William A.) Wulf and D. B. Russell and A. N. Habermann", title = "{BLISS}: {A} Language for Systems Programming", journal = j-CACM, volume = "14", number = "12", pages = "780--790", month = dec, year = "1971", CODEN = "CACMA2", ISSN = "0001-0782", MRclass = "68A05", MRnumber = "46 8463", MRreviewer = "P. Deussen", bibdate = "Mon Jan 22 07:30:58 MST 2001", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Ai/Ai.misc.bib; http://dblp.uni-trier.de/db/journals/cacm/cacm14.html#WulfR71", URL = "http://doi.acm.org/10.1145/362919.362936", abstract = "A language, BLISS, is described. This language is designed so as to be especially suitable for use in writing production software systems for a specific machine (the PDP-10): compilers, operating systems, etc. Prime design goals of the design are the ability to produce highly efficient object code, to allow access to all relevant hardware features of the host machine, and to provide a rational means by which to cope with the evolutionary nature of systems programs. A major feature which contributes to the realization of these goals is a mechanism permitting the definition of the representation of all data structures in terms of the access algorithm for elements of the structure.", acknowledgement = ack-nhfb, classcodes = "C5420 (Mainframes and minicomputers); C6120 (File organisation); C6150C (Compilers, interpreters and other processors); C6150J (Operating systems)", corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA", keywords = "BLISS; compilers; data structures; implementation language; language; minicomputers; operating systems; program processors; programming languages; software systems; supervisory and executive programs; systems programming", oldlabel = "WulfR71", treatment = "P Practical", XMLdata = "ftp://ftp.informatik.uni-trier.de/pub/users/Ley/bib/records.tar.gz#journals/cacm/WulfR71", } @TechReport{Tesler:1972:PDC, author = "Larry Tesler", title = "{PUB}: The Document Compiler", type = "{Stanford AI Project} Operating Note", number = "70", institution = "Department of Computer Science, Stanford University", address = "Stanford, CA, USA", month = sep, year = "1972", bibdate = "Sat Jul 02 11:01:29 2005", URL = "http://www.nomodes.com/pub_manual.html", abstract = "PUB is an advanced text justifier and page formatter intended primarily for use by programmers. It can automatically number pages, sections, figures, footnotes, etc. and can print their numbers in roman numerals as well as in digit or letter form. It can generate cross references, tables of contents, and indexes. Page layout is flexible, and allows multiple column output. Line formatting includes tabs, underlining, superscripts, subscripts, centering, and justification. Macros programmed in a SAIL-like string-processing language can generate text to be printed in the document. The output of the compiler is a file which can be printed on the terminal, on the line printer, or on microfilm.", acknowledgement = ack-nhfb, } @InProceedings{Hoare:1973:HPL, author = "C. A. R. Hoare", title = "Hints on Programming Language Design", crossref = "ACM:1973:CRA", year = "1973", bibdate = "Sat Jul 09 18:15:40 2005", note = "Keynote address. Also available as Stanford University Computer Science Department Report CS-TR-73-403 1973.", URL = "ftp://db.stanford.edu/pub/cstr/reports/cs/tr/73/403/CS-TR-73-403.pdf", acknowledgement = ack-nhfb, xxpages = "??--??", } @Book{Knuth:1973:FA, author = "Donald E. Knuth", title = "Fundamental Algorithms", volume = "1", publisher = pub-AW, address = pub-AW:adr, edition = "Second", pages = "xxi + 634", year = "1973", ISBN = "0-201-03809-9", ISBN-13 = "978-0-201-03809-5", LCCN = "QA76.6 .K641 1973", MRclass = "68A05", MRnumber = "51 #14624", bibdate = "Fri Mar 22 18:03:29 MST 2002", bibsource = "MathSciNet database", note = "Second printing, revised, February 1975.", series = "The Art of Computer Programming", annote = "See translations \cite{Knuth:1974:AF,Knuth:1976:OA,Knuth:1978:KS,Knuth:1980:AF,Knuth:1980:JJB,Knuth:1985:FA,Knuth:1987:AA}.", keywords = "electronic digital computers -- programming", xxnote = "Page count in second printing: xxii + 634.", } @Book{Knuth:1973:SS, author = "Donald E. Knuth", title = "Sorting and Searching", volume = "3", publisher = pub-AW, address = pub-AW:adr, pages = "xii + 722", year = "1973", ISBN = "0-201-03803-X", ISBN-13 = "978-0-201-03803-3", LCCN = "QA76.5 .K74", MRclass = "68A50", MRnumber = "56 #4281", MRreviewer = "M. Muller", bibdate = "Sun May 02 07:30:16 1999", bibsource = "MathSciNet database", series = "The Art of Computer Programming", annote = "See translations \cite{Knuth:1976:SA,Knuth:1978:SP,Knuth:1980:CB,Knuth:1985:xx,Knuth:1988:KR,Knuth:199x:xx}.", } @Book{Newman:1973:PIC, author = "William M. Newman and Robert F. Sproull", title = "Principles of Interactive Computer Graphics", publisher = pub-MCGRAW-HILL, address = pub-MCGRAW-HILL:adr, pages = "xxviii + 607", year = "1973", ISBN = "0-07-046337-9", ISBN-13 = "978-0-07-046337-0", LCCN = "T385 .N48", bibdate = "Wed Dec 15 10:40:01 1993", series = "McGraw-Hill Computer Science Series, Editors: Richard W. Hamming and Edward A. Feigenbaum", } @Manual{Wright:1974:F, author = "F. H. G. {Wright II} and R. E. Gorin", title = "{FAIL}", organization = "Computer Science Department, Stanford University", address = "Stanford, CA, USA", month = may, year = "1974", bibdate = "Tue May 24 15:38:08 2005", note = "Stanford Artificial Intelligence Laboratory Memo AIM-226 and Computer Science Department Report STAN-CS-74-407", acknowledgement = ack-nhfb, } @Article{Kernighan:1975:STM, author = "Brian W. Kernighan and Lorinda L. Cherry", title = "A System for Typesetting Mathematics", journal = j-CACM, volume = "18", number = "3", pages = "151--156", month = mar, year = "1975", CODEN = "CACMA2", ISSN = "0001-0782", bibdate = "Mon Jan 22 06:54:33 MST 2001", bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Distributed/QLD/1975.bib; http://dblp.uni-trier.de/db/journals/cacm/cacm18.html#KernighanC75", abstract = "This paper describes the design and implementation of a system for typesetting mathematics. \par The language has been designed to be easy to learn and to use by people (for example, secretaries and mathematical typists) who know neither mathematics nor typesetting. Experience indicates that the language can be learned in an hour or so, for it has few rules and fewer exceptions. For typical expressions, the size and font changes, positioning, line drawing, and the like necessary to print according to mathematical conventions are all done automatically. For example, the input {\tt sum from i=0 to infinity x sub i=pi over 2} produces $\sum_{i=0}^\infty x_i = \pi/2$. The syntax of the language is specified by a small context-free grammar; a compiler-compiler is used to make a compiler that translates this language into typesetting commands. Output maybe produced on either a phototypesetter or on a terminal with forward and reverse half-line motions. The system interfaces directly with text formatting programs, so mixtures of text and mathematics may be handled simply. This paper was typeset by the authors using the system described.", acknowledgement = ack-nhfb, classcodes = "C6130 (Data handling techniques); C6140D (High level languages); C7230 (Publishing and reproduction); C7310 (Mathematics computing)", classification = "723; 745", corpsource = "Bell Labs., Holmdel, NJ, USA", country = "USA", date = "15/05/84", descriptors = "Design; realization; command language; graphics language; text processing; graphics; interactive mode;", enum = "1645", journalabr = "Commun ACM", keywords = "compiler-compiler; computer controlled typesetting; computer graphics; computer programming languages; graphics; mathematics; oriented languages; photocomposition; phototypesetter; printing; problem; syntax; terminal; text formatting programs; text processing.; typesetting; typesetting mathematics", language = "English", oldlabel = "KernighanC75", references = "7", treatment = "A Application; P Practical", XMLdata = "ftp://ftp.informatik.uni-trier.de/pub/users/Ley/bib/records.tar.gz#journals/cacm/KernighanC75", xxpages = "151--157", } @Book{Knuth:1975:SS, author = "Donald E. Knuth", title = "Sorting and Searching", volume = "3", publisher = pub-AW, address = pub-AW:adr, pages = "xii + 725", month = mar, year = "1975", ISBN = "0-201-03803-X", ISBN-13 = "978-0-201-03803-3", LCCN = "QA76.5 .K74", bibdate = "Wed Dec 15 15:47:47 1993", note = "Second printing, revised.", series = "The Art of Computer Programming", } @Misc{Mock:1975:RTE, author = "T. Mock", title = "{RFC 698}:~{Telnet}~extended~{ASCII}~option", day = "23", month = jul, year = "1975", bibdate = "Thu Oct 16 09:34:09 MDT 1997", note = "Status: PROPOSED STANDARD. Not online.", URL = "ftp://ftp.internic.net/rfc/rfc698.txt, ftp://ftp.math.utah.edu/pub/rfc/rfc698.txt", acknowledgement = ack-nhfb, online = "no", status = "PROPOSED STANDARD", } @Book{Wirth:1976:ADS, author = "Niklaus Wirth", title = "Algorithms $+$ Data Structures $=$ Programs", publisher = pub-PH, address = pub-PH:adr, pages = "xvii + 366", year = "1976", ISBN = "0-13-022418-9", ISBN-13 = "978-0-13-022418-7", LCCN = "QA76.6 .W561", bibdate = "Wed Dec 15 10:59:10 1993", series = "Prentice-Hall Series in Automatic Computation", } @Article{Ammann:1977:CGP, author = "Urs Ammann", title = "On Code Generation in a {PASCAL} Compiler", journal = j-SPE, volume = "7", number = "3", pages = "391--423", month = may # "\slash " # jun, year = "1977", CODEN = "SPEXBL", ISSN = "0038-0644", bibdate = "Sat May 31 13:36:16 MDT 1997", acknowledgement = ack-nhfb, } @Article{Welsh:1977:AIP, author = "J. Welsh and W. J. Sneeringer and C. A. R. Hoare", title = "Ambiguities and Insecurities in {Pascal}", journal = j-SPE, volume = "7", number = "6", pages = "685--696", month = nov # "\slash " # dec, year = "1977", CODEN = "SPEXBL", ISSN = "0038-0644", bibdate = "Sat May 31 13:36:16 MDT 1997", acknowledgement = ack-nhfb, } @Article{Fiala:1978:MS, author = "Edward R. Fiala", title = "{MAXC} systems", journal = j-COMPUTER, volume = "11", number = "5", pages = "57--67", month = may, year = "1978", CODEN = "CPTRB4", ISSN = "0018-9162", bibdate = "Wed May 25 05:55:35 2005", bibsource = "Compendex database", URL = "http://research.microsoft.com/~lampson/Systems.html#maxc", abstract = "The development of timesharing computer systems led to insights on microprogrammable organization, instruction sets, reliability, and software and firmware development tools. The high availability achieved is attributable to the simple microprogrammable organization of the machines. Microprogramming organization promotes simplicity by placing much of the complexity in firmware. This organization of a computer provides the environment for multiple instruction sets. Causes of failure in integrated circuitry were evenly distributed, but memory error correction was found to be important to overall reliability. It was found that tools for software and firmware development and design automation are necessary for efficient development.", acknowledgement = ack-nhfb, classification = "722; 723", journalabr = "Computer", keywords = "computer architecture; firmware; MAXC; PDP-10; TOPS-20", remark = "From Butler Lampson's comments in the URL: ``(1971--73): I designed and implemented the micro-programmed processor for a machine which emulated a PDP-10 ... . It ran somewhat faster than a KA-10, and much more reliably, more than once attaining an interval of 2000 hours between crashes while running the Tenex time-sharing system. Two of these machines were built; each operated for about 9 years before being decommissioned.''", } @Book{Knuth:1979:TMN, author = "Donald E. Knuth", title = "{\TeX} and {\METAFONT}\emdash New Directions in Typesetting", publisher = pub-DP, address = pub-DP:adr, pages = "xi + 201 + 105", year = "1979", ISBN = "0-932376-02-9", ISBN-13 = "978-0-932376-02-2", LCCN = "Z253.3 .K58 1979", bibdate = "Wed Dec 15 10:37:42 1993", } @Article{Brender:1980:GB, author = "Ronald F. Brender", title = "Generation of {BLISSes}", journal = j-IEEE-TRANS-SOFTW-ENG, volume = "SE-6", number = "6", pages = "553--563", month = nov, year = "1980", CODEN = "IESEDJ", ISSN = "0098-5589", bibdate = "Mon Jul 11 16:32:08 2005", note = "Based on Carnegie-Mellon University Computer Science Report CMU-CS-79-125 May 1979.", abstract = "This presentation describes the simultaneous development of BLISS compilers for three machine architectures. A highly unusual combination of characteristics makes this development of general interest to the software development community: the development involved extensive sharing of code among the several compilers; involved bootstrapping and transportable programming using a machine-oriented systems implementation language; involved prototyping and subsequent evolutionary development; and involved developing software on, as well as for, three machine architectures. The unusual problems that arose are discussed and the methodologies for dealing with them are described. This experience should be of interest to others contemplating projects with similar characteristics. It should also be relevant to research in the area of software development environments as an example of the diverse needs to be met.", acknowledgement = ack-nhfb, } @Book{Mackenzie:1980:CCS, author = "Charles E. Mackenzie", title = "Coded Character Sets: History and Development", publisher = pub-AW, address = pub-AW:adr, pages = "xxi + 513", year = "1980", ISBN = "0-201-14460-3", ISBN-13 = "978-0-201-14460-4", LCCN = "QA268 .M27 1980", bibdate = "Wed Dec 15 10:38:43 1993", price = "US\$24.95", series = "The Systems Programming Series", } @InProceedings{Reid:1980:HLA, author = "Brian K. Reid", title = "A High-Level Approach to Computer Document Formatting", crossref = "ACM:1980:CRA", pages = "24--31", year = "1980", bibdate = "Sat Jul 02 10:28:08 2005", acknowledgement = ack-nhfb, } @PhdThesis{Reid:1980:SDS, author = "Brian Keith Reid", title = "{Scribe}: a document specification language and its compiler", type = "{Ph.D.} dissertation", school = "Department of Computer Science, Carnegie Mellon University", address = "Pittsburgh, PA, USA", pages = "x + 148", month = dec, year = "1980", bibdate = "Sat Jul 02 10:09:38 2005", note = "Also issued as Report CMU-CS-81-100.", URL = "http://wwwlib.umi.com/dissertations/fullcit/8114634", abstract = "It has become commonplace to use computers to edit and format documents, taking advantage of the machines' computational abilities and storage capacity to relieve the tedium of manual editing and composition. A distressing side effect of this computerization of a previously manual craft is that the responsibility for the appearance of the finished document, which was once handled by production editors, proofreaders, graphic designers, and typographers, is in the hands of the writer instead of the production staff. In this thesis I describe the design and implementation of a computer system for the production of documents, in which the separation of form and content is achieved. A writer prepares manuscript text that contains no mention of specific format; this manuscript text, represented in a document specification language, is processed by a compiler into a finished document. The compiler draws on a database of format specifications that have been prepared by a graphic designer, producing a document that contains the author's text in the designer's format. To simplify the knowledge representation task in the document design database, the document preparation task was parameterized into approximately one hundred independent variables, and the formatting compiler is controlled by changing the values of those variables. The content of the document design database is primarily tables of variable names and the values to be assigned to them. To enable substantial feedback from actual users for validating the design, parameterization, and general utility of such an approach, the resulting computer system was built as a production-quality program and documented as a piece of software rather than as an experiment. Released under the name Scribe, it has been used as production software at several dozen laboratories. It is therefore possible to report on its effectiveness as well as its design and construction. I conclude with a critical retrospective on the project's basic principles, its implementation, and its overall strengths and weaknesses as compared both to existing alternatives and to an envisioned ideal.", acknowledgement = ack-nhfb, } @Article{Carnes:1981:TH, author = "Lance Carnes", title = "{{\TeX}} for the {HP3000}", journal = j-TUGboat, volume = "2", number = "3", pages = "25--26", month = nov, year = "1981", 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{Gorin:1981:IDA, author = "Ralph E. Gorin", title = "Introduction to {DECSYSTEM-20} Assembly Language Programming", publisher = pub-DP, address = pub-DP:adr, pages = "xxx + 545", year = "1981", ISBN = "0-932376-12-6", ISBN-13 = "978-0-932376-12-1", LCCN = "QA76.8.D17 .G67", bibdate = "Tue Dec 14 22:54:14 1993", xxprice = "US\$40.00", } @Book{Kernighan:1981:STP, author = "Brian W. Kernighan and P. J. Plauger", title = "Software Tools in {Pascal}", publisher = pub-AW, address = pub-AW:adr, pages = "ix + 366", year = "1981", ISBN = "0-201-10342-7", ISBN-13 = "978-0-201-10342-7", LCCN = "QA76.6 .K493", bibdate = "Thu Mar 25 16:01:52 1999", xxprice = "US\$13.95", } @TechReport{Kernighan:1981:WPM, author = "Brian W. Kernighan", title = "Why {Pascal} is not my favorite programming language", type = "Computer Science Report", number = "100", institution = pub-ATT-BELL, address = pub-ATT-BELL:adr, month = jul, year = "1981", bibdate = "Tue May 24 05:47:36 2005", note = "Published in \cite{Kernighan:1984:WPM}.", URL = "http://cm.bell-labs.com/cm/cs/cstr/100.ps.gz", acknowledgement = ack-nhfb, } @Book{Knuth:1981:SA, author = "Donald E. Knuth", title = "Semi\-nu\-mer\-i\-cal Algorithms", volume = "2", publisher = pub-AW, address = pub-AW:adr, edition = "Second", pages = "xiv + 689", year = "1981", ISBN = "0-201-03822-6", ISBN-13 = "978-0-201-03822-4", LCCN = "QA76.6 .K64", MRclass = "68-02 (65-XX 68B05)", MRnumber = "83i:68003", MRreviewer = "M. Muller", bibdate = "Thu Sep 22 15:41:06 1994", bibsource = "MathSciNet database", series = "The Art of Computer Programming", xxpages = "xiii + 688", } @PhdThesis{Plass:1981:OPT, author = "Michael F. Plass", title = "Optimal pagination techniques for automatic typesetting systems", type = "{Ph.D.} dissertation", school = "Computer Science Department, Stanford University", address = "Stanford, CA, USA", pages = "vi + 72", year = "1981", bibdate = "Mon May 20 11:04:41 MDT 1996", series = "Report no. STAN-CS-81-870", URL = "http://wwwlib.umi.com/dissertations/fullcit/8124134", abstract = "This thesis considers how to use a computer to break a document into pages suitable for printing. Although this problem is easy to solve when the document consists of just text, it becomes complicated when footnotes, displays, and figures are introduced. These elements add some freedom of choice in the way breaks are chosen, since the white space around the displays and the exact placement of the figures can be decided by the pagination algorithm. Out of the many possible ways to paginate such a document, the pagination algorithm should pick the one that is in some sense optimal. The approach taken here is to define a badness function that depends on the way the document is broken up, and then to design an algorithm to find a way to minimize the value of this function. The document is modelled by two lists, the text list and the figure list. Each item in the text list is either a `box', corresponding to something that will print such as a line of text, a `glue' item, corresponding to the white space between the lines, a `penalty' item, corresponding to a legal place to break the list, or a `citation', marking a reference to one of the figures. The items in the figure list indicate the size of each figure, and by how much each figure is allowed to stretch or shrink. This model is based on the one used in the \TeX{} typesetting system. The optimizing pagination algorithm uses dynamic programming to find, for each $i$, $j$, and $k$, the best way to put the first $i$ lines of text and the first $j$ figures onto the first $k$ pages; to make the program run in a reasonable amount of time, this calculation includes only those subproblems that are feasible, i.e., likely to lead to a solution with a small badness value. The badness function must be chosen carefully in order to get a problem that can be solved by these techniques. For certain simple badness functions, the pagination problem is NP-complete; two such functions are described in the thesis.", acknowledgement = ack-nhfb, keywords = "Pagination; Computerized typesetting", } @Article{Kernighan:1982:PLT, author = "Brian W. Kernighan", title = "{PIC}: {A} Language for Typesetting Graphics", journal = j-SPE, volume = "12", number = "1", pages = "1--21", month = jan, year = "1982", CODEN = "SPEXBL", ISSN = "0038-0644", bibdate = "Sat May 31 13:36:16 MDT 1997", acknowledgement = ack-nhfb, subject = "I.3.4 Computing Methodologies, COMPUTER GRAPHICS, Graphics Utilities, Picture description languages \\ I.7 Computing Methodologies, TEXT PROCESSING, Document Preparation", } @InCollection{Kernighan:1982:UDP, author = "B. W. Kernighan and M. E. Lesk", title = "{UNIX} document preparation", crossref = "Nievergelt:1982:DPS", pages = "1--20", year = "1982", bibdate = "Sat Nov 12 21:45:03 1994", acknowledgement = ack-nhfb, keywords = "documentation; languages", review = "ACM CR 40430", subject = "D.4.0 Software, OPERATING SYSTEMS, General, UNIX \\ I.7 Computing Methodologies, TEXT PROCESSING, Text Editing \\ I.7 Computing Methodologies, TEXT PROCESSING, Document Preparation", xxnote = "From {\em Computing Reviews\/}: ``{\ldots} introduces {\tt ed}, {\tt nroff}\slash {\tt troff}, {\tt eqn}, {\tt tbl}, {\tt refer}, and {\tt pic}, and touches on {\tt spell}, {\tt style}, and {\tt diction}.''", } @Article{Mong:1982:FVM, 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, } @PhdThesis{ZabalaSalelles:1982:IGO, author = "Ignacio Andres {Zabala Salelles}", title = "Interfacing with graphics objects", school = "Department of Computer Science, Stanford University", address = "Stanford, CA, USA", pages = "146", month = dec, year = "1982", bibdate = "Wed May 25 08:19:32 2005", URL = "http://wwwlib.umi.com/dissertations/fullcit/8314505", abstract = "Document manipulation is one of the fields in which computer-based systems are proving themselves to be most effective. Nevertheless different typesetting tasks require different degrees of control on the behavior of a typesetting system, and different users need different kinds of computer feedback in response to their commands and these are important barriers to the acceptance of computer tools. A solution to the lack of a `best' user interface might be to have a powerful virtual typesetting machine and easy-to-use facilities for defining interfaces. High resolution displays and pointing devices suggest a style of using computer systems that is analogous to that of the familiar paper and pencil. In addition, the capability of using stored knowledge---both data and procedural information---and the use of adequate structuring methodologies can provide a great deal of power and flexibility in handling images and the objects they represent. Taking these considerations into account, the author has designed and programmed GOB, an interactive document processor that operates in terms of graphic objects whose structure and format are stored separately. GOB handles both text and graphics in a uniform way, and it can produce documents of quality similar to that of the best batch text processors. The positioning and the redisplay mechanisms of GOB are two of its most original features. Positioning is done by solving sparse systems of linear equations that are constantly changing. GOB provides a programming language that can be used to program complex formatting functions and to define user interfaces. A subset of GOB has been made to run to the point of generating pictures like those appearing in several places of this dissertation. The experience with the prototype suggests that it is indeed feasible to build interactive systems of this kind, that have a value by themselves (using built-in user interfaces), and that also allow for customization of the document manipulator.", acknowledgement = ack-nhfb, } @Article{Curtis:1983:PTV, author = "Pavel Curtis and Howard Trickey", title = "{{Porting {\TeX} to {\VAX}/UNIX}}", journal = j-TUGboat, volume = "4", number = "1", pages = "18--20", month = apr, year = "1983", 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, } @TechReport{Liang:1983:WHP, author = "Franklin Mark Liang", title = "Word Hy-phen-a-tion by Com-pu-ter", number = "STAN-CS-83-977", institution = inst-STANFORD, address = inst-STANFORD:adr, month = aug, year = "1983", bibdate = "Sat Feb 10 15:00:15 1996", URL = "http://www.tug.org/docs/liang/", } @TechReport{Scott:1983:TEP, author = "Ray Scott and Michel E. Debar", title = "{TOPS-20} Extended {Programmable Command Language} User's Guide and Reference Manual", type = "Technical Report", institution = "Carnegie Mellon University Computation Center and FNDP Computing Centre", address = "Pittsburgh, PA, USA and Namur, Belgium", day = "12", month = jan, year = "1983", bibdate = "Sat Jul 02 19:23:30 2005", URL = "http://www.math.utah.edu/~bowman/pcl.txt", acknowledgement = ack-nhfb, } @InCollection{Kernighan:1984:WPM, author = "Brian W. Kernighan", title = "Why {Pascal} is Not My Favorite Programming Language", crossref = "Feuer:1984:CAP", pages = "170--186", year = "1984", note = "See also \cite{Kernighan:1981:WPM}.", } @PhdThesis{Liang:1984:WHP, author = "Franklin Mark Liang", title = "Word Hy-phen-a-tion by Com-pu-ter", type = "{Ph.D.} dissertation", school = "Computer Science Department, Stanford University", address = "Stanford, CA, USA", pages = "92", month = mar, year = "1984", bibdate = "Fri Jul 08 14:48:58 2005", URL = "http://wwwlib.umi.com/dissertations/fullcit/8329742; http://www.tug.org/docs/liang/", abstract = "This thesis describes research leading to an improved word hyphenation algorithm for the T(,E)X82 typesetting system. Hyphenation is viewed primarily as a data compression problem, where we are given a dictionary of words with allowable division points, and try to devise methods that take advantage of the large amount of redundancy present. The new hyphenation algorithm is based on the idea of hyphenating and inhibiting patterns. These are simply strings of letters that, when they match in a word, give us information about hyphenation at some point in the pattern. For example, `-tion' and `c-c' are good hyphenating patterns. An important feature of this method is that a suitable set of patterns can be extracted automatically from the dictionary. In order to represent the set of patterns in a compact form that is also reasonably efficient for searching, the author has developed a new data structure called a packed trie. This data structure allows the very fast search times characteristic of indexed tries, but in many cases it entirely eliminates the wasted space for null links usually present in such tries. We demonstrate the versatility and practical advantages of this data structure by using a variant of it as the critical component of the program that generates the patterns from the dictionary. The resulting hyphenation algorithm uses about 4500 patterns that compile into a packed trie occupying 25K bytes of storage. These patterns find 89\% of the hyphens in a pocket dictionary word list, with essentially no error. By comparison, the uncompressed dictionary occupies over 500K bytes.", acknowledgement = ack-nhfb, } @Book{Steele:1984:CLL, author = "Guy L. {Steele Jr.}", title = "Common Lisp\emdash The Language", publisher = pub-DP, address = pub-DP:adr, pages = "xii + 465", year = "1984", ISBN = "0-932376-41-X", ISBN-13 = "978-0-932376-41-1", LCCN = "QA76.73.L23 S73 1984", bibdate = "Sun Jul 10 01:10:15 1994", price = "US\$22.00", xxnote = "See also \cite{Tatar:PGC87}.", } @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", ISBN-13 = "978-0-201-15790-1", LCCN = "Z253.4.L38 L35 1986", bibdate = "Wed Dec 15 10:38:04 1993", } @PhdThesis{Hobby:1986:DBT, author = "John Douglas Hobby", title = "Digitized Brush Trajectories", type = "{Ph.D.} dissertation", school = "Department of Computer Science, Stanford University", address = "Stanford, CA, USA", pages = "151", month = jun, year = "1986", bibdate = "Wed May 25 08:06:33 2005", note = "Also published as report STAN-CS-1070 (1985).", URL = "http://wwwlib.umi.com/dissertations/fullcit/8602484", abstract = "We consider the problem of finding a discrete set of pixels that approximates the envelope of a convex brush shape with respect to a given trajectory. Let the digitization of a planar region be the set of pixels whose centers lie inside of it. We develop mathematical models for the width of digitized brush strokes, and we give a class of polygonal brush shapes such that the width of their envelope with respect to a given trajectory is accurately reflected by the digitization of the envelope. Polygonal brush shapes also have the advantage that it is usually much easier to compute the digitization of the envelope with respect to a given trajectory. We present fast algorithms for approximating a given brush shape with an appropriate polygon so that the digitization of the envelope of the modified brush will have more accurate and uniform width than the digitization of the exact envelope would. We also present an algorithm for finding a set of pixels that represents the envelope of a dynamically changing brush while preserving accurate and uniform stroke width. This algorithm finds a polygonal path with simple rational slopes that is digitally equivalent to the given trajectory. Other possible applications of this polygonal representation include smoothing digitized curves, data compression, and curve fitting.", acknowledgement = ack-nhfb, } @Book{Knuth:1986:CMT, 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", ISBN-13 = "978-0-201-13446-9", LCCN = "Z250.8.M46 K574 1986", bibdate = "Wed Dec 15 10:37:33 1993", series = "Computers and Typesetting", } @Book{Knuth:1986:M, 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", ISBN-13 = "978-0-201-13445-2", LCCN = "Z250.8.M46 K58 1986", bibdate = "Wed Dec 15 10:37:29 1993", series = "Computers and Typesetting", } @Book{Knuth:1986:MP, 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", ISBN-13 = "978-0-201-13438-4", LCCN = "Z250.8.M46 K578 1986", bibdate = "Wed Dec 15 10:37:32 1993", series = "Computers and Typesetting", } @Book{Knuth:1986:T, author = "Donald E. Knuth", title = "The {\TeX}book", volume = "A", publisher = pub-AW, address = pub-AW:adr, pages = "ix + 483", year = "\noopsort{1986a}1986", ISBN = "0-201-13447-0", ISBN-13 = "978-0-201-13447-6", LCCN = "Z253.4.T47 K58 1986", bibdate = "Wed Dec 15 10:36:52 1993", series = "Computers and Typesetting", } @Book{Knuth:1986:TP, 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", ISBN-13 = "978-0-201-13437-7", LCCN = "Z253.4.T47 K578 1986", bibdate = "Wed Dec 15 10:36:54 1993", series = "Computers and Typesetting", } @PhdThesis{Ruggles:1987:PIE, author = "Lynn Elizabeth Ruggles", title = "{Paragon}, an interactive, extensible, environment for typeface design", type = "{Ph.D.} dissertation", school = "University of Massachusetts Amherst", address = "Amherst, MA, USA", pages = "192", year = "1987", bibdate = "Wed May 25 08:16:01 2005", URL = "http://wwwlib.umi.com/dissertations/fullcit/8805968", abstract = "Typefaces have been designed and used for over 600 years. As new technology was developed, new methods were designed to cope with the changes in materials and techniques. The current century has seen the development of raster output devices in the form of laser printers, CRT typesetters, and bitmapped graphics displays. Systems used to generate digital type designs for these devices generally fall into the category of copying systems rather than design systems. Little work has been done to provide the type designer with a system intended to be used for the design of new typefaces. This thesis discusses a typeface design system which has been created to fill this gap. The system, named Paragon, is an interactive, extensible, typeface design environment implemented on an interactive graphics workstation. It is an attempt to integrate the traditional typeface design environment with the capabilities of interactive computer graphics. It enhances the traditional environment by providing functions to aid the design process which are difficult to do by hand, but easy to do within a computer system. The design system itself is extensible in that a designer who has little if any knowledge of computers or programming can create new commands by using the primitive operations that are provided and can then incorporate these commands into the working environment.", acknowledgement = ack-nhfb, } @TechReport{daCruz:1988:DCU, author = "Frank da Cruz and Christine Gianone", title = "The {DECSYSTEM-20} at {Columbia University} (1977--1988)", type = "Technical report", institution = "The Kermit Project, Columbia University", address = "New York, NY, USA", day = "29", month = dec, year = "1988", bibdate = "Sat Jul 02 18:25:59 2005", URL = "http://www.columbia.edu/kermit/dec20.html", acknowledgement = ack-nhfb, } @TechReport{Knuth:1988:ET, author = "Donald E. Knuth", title = "The Errors of {\TeX}", number = "STAN-CS-88-1223", institution = inst-STAN-CS, month = sep, year = "1988", bibdate = "Sun May 02 09:43:32 1999", note = "See \cite{Knuth:1989:ET}.", acknowledgement = ack-nhfb, xxpages = "??", } @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", } @Article{Knuth:1989:NVT, author = "Donald E. Knuth", title = "{The new versions of {\TeX} and {\MF}}", journal = j-TUGboat, volume = "10", number = "3", pages = "325--328", 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, } @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", ISBN-13 = "978-0-442-31946-5", LCCN = "QA76.73.W24 S491 1989", bibdate = "Wed Dec 15 10:41:40 1993", } @Book{Steele:1990:CLL, author = "Guy L. {Steele Jr.}", title = "{Common Lisp}\emdash The Language", publisher = pub-DP, address = pub-DP:adr, edition = "Second", pages = "xxiii + 1029", year = "1990", ISBN = "1-55558-041-6 (paperback), 1-55558-042-4 (hardcover), 0-13-152414-3 (Prentice-Hall)", ISBN-13 = "978-1-55558-041-4 (paperback), 978-1-55558-042-1 (hardcover), 978-0-13-152414-9 (Prentice-Hall)", LCCN = "QA76.73.L23 S73 1990", bibdate = "Thu May 16 16:38:35 2002", note = "See also \cite{Steele:1984:CLL}.", libnote = "Not yet in my library.", xxnote = "See also \cite{Steele:CLL84,Tatar:PGC87}.", } @InProceedings{Hobby:1992:IM, author = "John D. Hobby", title = "Introduction to {\MP}", crossref = "Zlatuska:1992:EPE", pages = "21--36", year = "1992", bibdate = "Thu Sep 2 12:27:38 1999", note = "Invited talk.", 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)", ISBN-13 = "978-0-937073-80-3 (paper), 978-0-937073-81-0 (cloth)", LCCN = "QA76.6.K644", bibdate = "Sun Jul 10 01:09:29 1994", series = "CSLI Lecture Notes Number 27", acknowledgement = ack-nhfb, xxprice = "US\$24.95", } @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", ISBN-13 = "978-0-201-57569-9", LCCN = "QA76.9.D3 K6 1993", bibdate = "Thu May 12 08:36:22 1994", acknowledgement = ack-nhfb, } @Book{Goossens:1994:LC, author = "Michel Goossens and Frank Mittelbach and Alexander Samarin", title = "The {\LaTeX} Companion", publisher = pub-AW, address = pub-AW:adr, pages = "xxi + 528", year = "1994", ISBN = "0-201-54199-8", ISBN-13 = "978-0-201-54199-1", LCCN = "Z253.4.L38 G66 1994", bibdate = "Thu Jun 03 09:31:37 1999", series = "Tools and Techniques for Computer Typesetting", acknowledgement = ack-nhfb, xxxxprice = "US\$34.25", } @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", ISBN-13 = "978-0-201-52983-8", LCCN = "Z253.4.L38L35 1994", bibdate = "Wed Aug 10 09:55:59 1994", acknowledgement = ack-nhfb, } @Book{Salus:1994:QCU, author = "Peter H. Salus", title = "A quarter century of {UNIX}", publisher = pub-AW, address = pub-AW:adr, pages = "xii + 256", year = "1994", ISBN = "0-201-54777-5", ISBN-13 = "978-0-201-54777-1", LCCN = "QA76.76.O63 S342 1994", bibdate = "Thu Nov 14 06:38:30 2002", acknowledgement = ack-nhfb, } @Book{Stroustrup:1994:DEC, author = "Bjarne Stroustrup", title = "The Design and Evolution of {C\kern-.11em+\kern-.2em+}", publisher = pub-AW, address = pub-AW:adr, pages = "x + 461", year = "1994", ISBN = "0-201-54330-3", ISBN-13 = "978-0-201-54330-8", LCCN = "QA76.73.C153S79 1994", bibdate = "Wed May 25 13:58:32 1994", price = "US\$26.96", acknowledgement = ack-nhfb, } % on barbara's advice, put in a semicolon to separate title and subtitle. @Article{Wharton:1994:GKI, author = "John Wharton", title = "{Gary Kildall}, Industry Pioneer, Dead at 52. Created First Microcomputer Languages, Disk Operating Systems", journal = j-MICROPROC-REP, volume = "8", number = "10", pages = "1--2", day = "1", month = aug, year = "1994", ISSN = "0899-9341", bibdate = "Sat Jul 02 08:28:18 2005", note = "This obituary nicely describes the very many accomplishments of this industry pioneer.", URL = "http://www.ece.umd.edu/courses/enee759m.S2002/papers/wharton1994-kildall.pdf; http://en.wikipedia.org/wiki/Gary_Kildall", acknowledgement = ack-nhfb, } @Manual{Hobby:1995:DGM, author = "John D. Hobby", title = "Drawing Graphs with {\MP}", organization = "AT\&T Bell Laboratories", address = "Murray Hill, NJ, USA", pages = "18", year = "1995", bibdate = "Tue Jul 12 11:58:06 2005", URL = "http://ctan.tug.org/tex-archive/macros/latex/contrib/pdfslide/mpgraph.pdf", acknowledgement = ack-nhfb, } @Book{Hafner:1996:WWS, author = "Katie Hafner and Matthew Lyon", title = "Where wizards stay up late: the origins of the {Internet}", publisher = pub-SIMON-SCHUSTER, address = pub-SIMON-SCHUSTER:adr, pages = "304", year = "1996", ISBN = "0-684-81201-0", ISBN-13 = "978-0-684-81201-4", LCCN = "TK5105.875.I57H338 1996", bibdate = "Thu May 13 08:22:15 1999", acknowledgement = ack-nhfb, keywords = "Internet (Computer network)", } @Article{Plaice:1996:LD, author = "John Plaice and Yannis Haralambous", title = "{The latest developments in {$\Omega$}}", journal = j-TUGboat, volume = "17", number = "2", pages = "181--183", month = jun, year = "1996", 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{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", ISBN-13 = "978-0-201-85469-5", LCCN = "Z253.4.L38G663 1997", bibdate = "Fri Jul 11 07:51:47 1997", 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.", xxxxprice = "US\$39.75", } @Article{Han:1997:PUM, author = "{\noopsort{Han}}{H{\`a}n Th\^e{\kern-.05em}\llap{\raise 0.5ex\hbox{\'{\relax}}} Th{\`a}nh and Sebastian Rahtz}", title = "{The pdf{\TeX} user manual}", journal = j-TUGboat, volume = "18", number = "4", pages = "249--254", month = dec, year = "1997", 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, } @Manual{Hobby:1997:MS, author = "John D. Hobby", title = "The {\MP} System", pages = "20", day = "30", month = dec, year = "1997", bibdate = "Tue Jul 12 11:38:32 2005", URL = "file:///texlive-2004-11/texmf-dist/doc/metapost/base/mpintro.pdf", acknowledgement = ack-nhfb, xxaddress = "????", xxorganization = "????", } @Book{Knuth:1997:FA, author = "Donald E. Knuth", title = "Fundamental Algorithms", volume = "1", publisher = pub-AW, address = pub-AW:adr, edition = "Third", pages = "xix + 650", year = "1997", ISBN = "0-201-89683-4", ISBN-13 = "978-0-201-89683-1", LCCN = "QA76.6 .K64 1997", bibdate = "Fri Jul 11 15:41:22 1997", series = "The Art of Computer Programming", acknowledgement = ack-nhfb, xxxxprice = "US\$49.50", } @Book{Knuth:1997:SA, author = "Donald E. Knuth", title = "Seminumerical Algorithms", volume = "2", publisher = pub-AW, address = pub-AW:adr, edition = "Third", pages = "xiii + 762", year = "1997", ISBN = "0-201-89684-2", ISBN-13 = "978-0-201-89684-8", LCCN = "QA76.6 .K64 1997", bibdate = "Fri Jul 11 15:41:22 1997", series = "The Art of Computer Programming", acknowledgement = ack-nhfb, xxxxprice = "US\$52.75", } @Article{Roegel:1997:CAM, author = "Denis Roegel", title = "Creating {$3$D} animations with {{\MP}}", journal = j-TUGboat, volume = "18", number = "4", pages = "274--283", month = dec, year = "1997", 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", URL = "http://ctan.tug.org/tex-archive/graphics/metapost/contrib/macros/3d/doc/paper1997corrected.pdf", acknowledgement = ack-bnb # " and " # ack-nhfb, } @Article{Taylor:1997:EVP, author = "Phil Taylor", title = "{{\eTeX} {V2}: a peek into the future}", journal = j-TUGboat, volume = "18", number = "4", pages = "239--242", month = dec, year = "1997", 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{Han:1998:ITT, author = "{\noopsort{Han}}{H{\`a}n Th\^e{\kern-.05em}\llap{\raise0.5ex\hbox{\'{\relax}}} Th{\`a}nh}", title = "Improving {\TeX}'s Typeset Layout", journal = j-TUGboat, volume = "19", number = "3", pages = "284--288", month = sep, 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, } @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)", ISBN-13 = "978-0-19-509686-6 (paperback), 978-0-19-509685-9 (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 = "Computer fonts; Computer graphics; Computerized typesetting; Mathematics printing -- Computer programs; METAFONT; Technical publishing -- Computer programs; {\LaTeX} (Computer file); {\TeX} (Computer file)", } @Book{Knuth:1998:SS, author = "Donald E. Knuth", title = "Sorting and Searching", volume = "3", publisher = pub-AW, address = pub-AW:adr, edition = "Second", pages = "xiv + 780", year = "1998", ISBN = "0-201-89685-0", ISBN-13 = "978-0-201-89685-5", LCCN = "QA76.6.K64 1997", bibdate = "Sat Feb 27 11:11:53 1999", price = "US\$49.95", series = "The Art of Computer Programming", acknowledgement = ack-nhfb, } @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", ISBN-13 = "978-0-201-43311-1", LCCN = "QA76.76.H94G66 1999", bibdate = "Thu Jun 03 09:32:08 1999", note = "With Eitan M. Gurari, Ross Moore, and Robert S. Sutor.", series = "Tools and Techniques for Computer Typesetting", acknowledgement = ack-nhfb, xxxxprice = "US\$36.95", } @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)", ISBN-13 = "978-1-57586-011-4 (cloth), 978-1-57586-010-7 (paperback)", LCCN = "Z249.3.K59 1998", bibdate = "Mon May 10 18:01:36 1999", acknowledgement = ack-nhfb, xxxxprice = "US\$90.00 (cloth), US\$39.95 (paperback)", } @Book{Adobe:2000:PRA, author = "{Adobe Systems Incorporated}", title = "{PDF} reference: {Adobe} portable document format, version 1.3", publisher = pub-AW, address = pub-AW:adr, edition = "Second", pages = "xvi + 679", year = "2000", ISBN = "0-201-61588-6", ISBN-13 = "978-0-201-61588-3", LCCN = "QA76.76.T49 P38 2000", bibdate = "Wed Sep 20 11:06:40 2000", price = "US\$49.95", URL = "http://partners.adobe.com/asn/developer/acrosdk/DOCS/PDFRef.pdf", acknowledgement = ack-nhfb, } @Article{Fine:2001:IPT, 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, } @Article{Hagen:2001:SQN, author = "Hans Hagen", title = "{The status quo of the {\NTS} project}", journal = j-TUGboat, volume = "22", number = "1/2", pages = "58--66", month = mar, 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{Han:2001:MKF, author = "{\noopsort{Han}}{H{\`a}n Th\^e{\kern-.05em}\llap{\raise 0.5ex\hbox{\'{\relax}}} Th{\`a}nh}", title = "{Margin kerning and font expansion with {pdf\TeX}}", journal = j-TUGboat, volume = "22", number = "3", pages = "146--148", 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, } @Misc{Harrenstien:2001:KPE, author = "Ken Harrenstien", title = "{KLH10} {PDP-10} Emulator", howpublished = "World-Wide Web document and software", year = "2001", bibdate = "Wed May 25 08:33:56 2005", note = "This is a highly-portable simulator that allows TOPS-20 to run on most modern Unix workstations.", URL = "http://klh10.trailing-edge.com/", acknowledgement = ack-nhfb, } @Misc{Vieth:2001:MTT, author = "Ulrik Vieth", title = "Math typesetting in {{\TeX}}: The good, the bad, the ugly", howpublished = "World-Wide Web document", day = "22", month = sep, year = "2001", bibdate = "Wed Jul 13 07:02:16 2005", note = "Lecture slides for Euro{\TeX} 2001 Conference, Kerkrade, The Netherlands", URL = "http://www.ntg.nl/eurotex/vieth.pdf", acknowledgement = ack-nhfb, } @Article{Brender:2002:BPL, author = "Ronald F. Brender", title = "The {BLISS} programming language: a history", journal = j-SPE, volume = "32", number = "10", pages = "955--981", month = aug, year = "2002", CODEN = "SPEXBL", DOI = "http://dx.doi.org/10.1002/spe.470", ISSN = "0038-0644", bibdate = "Wed Oct 16 18:25:57 MDT 2002", bibsource = "http://www3.interscience.wiley.com/journalfinder.html; http://www.interscience.wiley.com/jpages/0038-0644", abstract = "The BLISS programming language was invented by William A. Wulf and others at Carnegie-Mellon University in 1969, originally for the DEC PDP-10. BLISS-10 caught the interest of Ronald F. Brender of DEC (Digital Equipment Corporation). After several years of collaboration, including the creation of BLISS-11 for the PDP-11, BLISS was adopted as DEC's implementation language for use on its new line of VAX computers in 1975. DEC developed a completely new generation of BLISSs for the VAX, PDP-10 and PDP-11, which became widely used at DEC during the 1970s and 1980s. With the creation of the Alpha architecture in the early 1990s, BLISS was extended again, in both 32- and 64-bit flavors. BLISS support for the Intel IA-32 architecture was introduced in 1995 and IA-64 support is now in progress.\par BLISS has a number of unusual characteristics: it is typeless, requires use of an explicit contents of operator (written as a period or dot), takes an algorithmic approach to data structure definition, has no goto, is an expression language, and has an unusually rich compile-time language.\par This paper reviews the evolution and use of BLISS over its three decade lifetime. Emphasis is on how the language evolved to facilitate portable programming while retaining its initial highly machine-specific character. Finally, the success of its characteristics are assessed.", acknowledgement = ack-nhfb, keywords = "BLISS; history; machine-oriented language; portable programming; system implementation language", xxURL = "http://www3.interscience.wiley.com/cgi-bin/fulltext?ID=96516179&PLACEBO=IE.pdf; http://www3.interscience.wiley.com/cgi-bin/abstract/96516179/START", } @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", ISBN-13 = "978-0-387-95217-8", LCCN = "Z253.4.L38 S97 2003", bibdate = "Thu Mar 13 18:17:25 2003", acknowledgement = ack-nhfb, annote = "Seems to have been published in Europe with same ISBN, but different title: From \LaTeX{} to $\Lambda$: An Introduction to Digital Typography", 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", ISBN-13 = "978-0-321-18578-5", 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{Beebe:2004:YTM, author = "Nelson H. F. Beebe", title = "25 Years of {{\TeX}} and {{\MF}}: Looking Back and Looking Forward: {\acro{TUG\,2003}} Keynote Address", journal = j-TUGboat, volume = "25", number = "1", pages = "7--30", year = "2004", bibdate = "Tue May 24 14:48:13 2005", note = "Due to a journal production error, this article did not appear in the TUG\,2003 proceedings volume, even though it was ready months in advance.", URL = "http://www.math.utah.edu/~beebe/talks/tug2003/", acknowledgement = ack-nhfb, } @Misc{Bilotta:2004:AET, author = "Giuseppe Bilotta", title = "Aleph Extended {\TeX}", howpublished = "World-Wide Web document and software", day = "15", month = dec, year = "2004", bibdate = "Mon Jul 11 14:39:13 2005", URL = "http://ctan.tug.org/tex-archive/help/Catalogue/entries/aleph.html", acknowledgement = ack-nhfb, } @Misc{Blumensath:2004:ATS, author = "Achim Blumensath", title = "{ANT}: {A} Typesetting System", howpublished = "World-Wide Web document and software", day = "24", month = oct, year = "2004", bibdate = "Wed May 25 21:10:08 2005", URL = "http://www-mgi.informatik.rwth-aachen.de/~blume/Download.html", acknowledgement = ack-nhfb, } @Misc{Correll:2004:G, author = "Sharon Correll", title = "Graphite", howpublished = "World-Wide Web document and software", day = "19", month = nov, year = "2004", bibdate = "Mon Jul 11 19:21:20 2005", note = "Graphite is a project under development within SIL's Non-Roman Script Initiative and Language Software Development groups to provide rendering capabilities for complex non-Roman writing systems.", URL = "http://scripts.sil.org/RenderingGraphite", abstract = "Graphite is a project under development within SIL?s Non-Roman Script Initiative and Language Software Development groups to provide rendering capabilities for complex non-Roman writing systems. (Work began in 1997 under the code name WinRend.) The original goal was a system for the Windows platform; a port to Linux is currently underway. Graphite can be used to create ``smart fonts'' capable of displaying writing systems with various complex behaviors. With respect to the Text Encoding Model, Graphite handles the ``Rendering'' aspect of writing system implementation.", acknowledgement = ack-nhfb, } @Manual{Finston:2004:URM, author = "Laurence D. Finston", title = "{3DLDF} user and reference manual: $3$-dimensional drawing with {\MP} output", pages = "x + 296", year = "2004", bibdate = "Tue Jul 12 10:58:15 2005", note = "Manual edition 1.1.5.1 for 3DLDF version 1.1.5.1 January 2004.", URL = "http://dante.ctan.org/CTAN/graphics/3DLDF/3DLDF.pdf", acknowledgement = ack-nhfb, xxaddress = "????", xxorganization = "????", } @InProceedings{Goncalves:2004:FRM, author = "Luis Nobre Gon{\c{c}}alves", title = "{\FEATPOST} and a Review of $3${D} {\MP} Packages", crossref = "Syropoulos:2004:TXD", pages = "112--124", year = "2004", CODEN = "LNCSD9", ISSN = "0302-9743", bibdate = "Tue Nov 16 17:43:44 2004", acknowledgement = ack-nhfb, } @Manual{Hammerlindl:2004:ASB, author = "Andy Hammerlindl and John Bowman and Tom Prince", title = "{{\acro{Asymptote}}}: a script-based vector graphics language", organization = "Faculty of Science, University of Alberta", address = "Edmonton, AB, Canada", year = "2004", bibdate = "Tue Jul 12 11:15:03 2005", note = "\acro{Asymptote} is a powerful script-based vector graphics language for technical drawing, inspired by \MP{} but with an improved C\kern-.11em+\kern-.2em+-like syntax. \acro{Asymptote} provides for figures the same high-quality level of typesetting that \LaTeX{} does for scientific text.", URL = "http://asymptote.sourceforge.net/", acknowledgement = ack-nhfb, } @Manual{Hobby:2004:UMM, author = "John D. Hobby", title = "A User's Manual for {{\MP}}", pages = "i + 85", year = "2004", bibdate = "Tue Jul 12 11:48:44 2005", URL = "file:///texlive-2004-11/texmf-dist/doc/metapost/base/mpman.pdf", acknowledgement = ack-nhfb, xxaddress = "????", xxorganization = "????", } @Misc{Kew:2004:XTS, author = "Jonathan Kew", title = "The {Xe\TeX} typesetting system", howpublished = "World-Wide Web document.", month = mar, year = "2004", bibdate = "Sat Jul 09 07:02:57 2005", URL = "http://scripts.sil.org/xetex", acknowledgement = ack-nhfb, } @Book{Mittelbach:2004:LC, author = "Frank Mittelbach and Michel Goossens and Johannes Braams and David Carlisle and Chris Rowley and Christine Detig and Joachim Schrod", title = "The {\LaTeX} Companion", publisher = pub-AW, address = pub-AW:adr, edition = "Second", pages = "xxvii + 1090", year = "2004", ISBN = "0-201-36299-6", ISBN-13 = "978-0-201-36299-2", LCCN = "Z253.4.L38 G66 2004", bibdate = "Thu May 20 13:23:24 2004", series = "Tools and Techniques for Computer Typesetting", acknowledgement = ack-nhfb, remark = "Authors listed as: Frank Mittelbach and Michel Goossens with Johannes Braams, David Carlisle, and Chris Rowley, and with contributions by Christine Detig and Joachim Schrod.", xxxxprice = "US\$59.99, CAN\$86.99", } @Misc{Apple:2005:ATS, author = "{Apple Computer, Inc.}", title = "{Apple Type Services for Unicode Imaging [ATSUI]}", howpublished = "World-Wide Web document.", year = "2005", bibdate = "Mon Jul 11 14:18:37 2005", note = "Apple Type Services for Unicode Imaging (ATSUI) is a set of services for rendering Unicode-encoded text.", URL = "http://developer.apple.com/intl/atsui.html; http://developer.apple.com/fonts/TTRefMan/RM06/Chap6AATIntro.html", abstract = "Apple Type Services for Unicode Imaging (ATSUI) is a set of services for rendering Unicode-encoded text. ATSUI is used by many parts of Mac OS X, including the Finder, making Mac OS X a truly international system that respects the display of complex languages and double-byte scripts. The Multilingual Text Engine, or MLTE, is among the pieces of the system that utilize ATSUI text display.", acknowledgement = ack-nhfb, } @Misc{IBM:2005:ICU, author = "{IBM Corporation}", title = "{International Component for Unicode (ICU)}", howpublished = "World-Wide Web document.", year = "2005", bibdate = "Mon Jul 11 14:22:21 2005", note = "ICU is a mature, widely used set of C/C\kern-.11em+\kern-.2em+ and Java libraries for Unicode support, software internationalization and globalization (i18n and g11n).", URL = "http://www-306.ibm.com/software/globalization/icu/index.jsp", abstract = "The International Component for Unicode (ICU) is a mature, widely used set of C/C++ and Java libraries for Unicode support, software internationalization and globalization (i18n and g11n). It grew out of the JDK 1.1 internationalization APIs, which the ICU team contributed to. ICU is widely portable and gives applications the same results on all platforms and between C/C++ and Java software.", acknowledgement = ack-nhfb, xxnote = "The International Component for Unicode (ICU) is a mature, widely used set of C/C++ and Java libraries for Unicode support, software internationalization and globalization (i18n and g11n).", } @InProceedings{Kew:2005:TML, author = "Jonathan Kew", title = "The Multilingual Lion: {\TeX} learns to speak {Unicode}", crossref = "Unicode:2005:TSI", pages = "$n$+1-$n$+17", year = "2005", bibdate = "Sat Jul 09 07:08:55 2005", acknowledgement = ack-nhfb, } @Misc{Microsoft:2005:UCS, author = "{Microsoft Corporation}", title = "Unicode and Character Sets", howpublished = "World-Wide Web document.", year = "2005", bibdate = "Mon Jul 11 14:29:01 2005", URL = "http://msdn.microsoft.com/library/en-us/intl/unicode_6bqr.asp", acknowledgement = ack-nhfb, } @Misc{Crispin:2005:RUU, author = "M. Crispin", title = "{RFC 4042}: {UTF-9} and {UTF-18} Efficient Transformation Formats of {Unicode}", month = apr, year = "2005", bibdate = "Wed May 25 06:38:08 2005", URL = "ftp://ftp.internic.net/rfc/rfc4042.txt, ftp://ftp.math.utah.edu/pub/rfc/rfc4042.txt", acknowledgement = ack-nhfb, format = "TXT=19123 bytes", online = "yes", status = "INFORMATIONAL", xxnote = "Status: INFORMATIONAL.", } %%% ==================================================================== %%% Cross-referenced entries must come last: @Book{Feuer:1984:CAP, editor = "Alan R. Feuer and Narain Gehani", booktitle = "Comparing and assessing programming languages: {Ada}, {C}, and {Pascal}", title = "Comparing and assessing programming languages: {Ada}, {C}, and {Pascal}", publisher = pub-PH, address = pub-PH:adr, pages = "xiv + 271", year = "1984", ISBN = "0-13-154840-9 (paperback), 0-13-154857-3 (hardcover)", ISBN-13 = "978-0-13-154840-4 (paperback), 978-0-13-154857-2 (hardcover)", LCCN = "QA76.73.A35 C66 1984", bibdate = "Tue May 24 05:49:12 MDT 2005", bibsource = "z3950.loc.gov:7090/Voyager", series = "Prentice-Hall software series", acknowledgement = ack-nhfb, subject = "Ada (Computer program language); C (Computer program language); Pascal (Computer program language)", } @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-7803-1112-4 (hardcover)", ISBN-13 = "978-0-314-06365-6 (paperback), 978-0-7803-1112-1 (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", xxprice = "US\$23.95", } %%% ==================================================================== %%% Cross-referenced entries must come last: @Proceedings{ACM:1973:CRA, booktitle = "{Conference record of ACM Symposium on Principles of Programming Languages: papers presented at the symposium, Boston, Massachusetts, October 1--3, 1973}", title = "{Conference record of ACM Symposium on Principles of Programming Languages: papers presented at the symposium, Boston, Massachusetts, October 1--3, 1973}", publisher = pub-ACM, address = pub-ACM:adr, pages = "iv + 242", year = "1973", LCCN = "QA76.7. .A15 1973", bibdate = "Sat Jul 09 18:16:57 2005", acknowledgement = ack-nhfb, xxeditor = "{ACM}", xxISBN = "????", } @Proceedings{ACM:1980:CRA, booktitle = "{Conference record of the seventh annual ACM Symposium on Principles of Programming Languages. Las Vegas, Nevada, January 28--30, 1980}", title = "{Conference record of the seventh annual ACM Symposium on Principles of Programming Languages. Las Vegas, Nevada, January 28--30, 1980}", publisher = pub-ACM, address = pub-ACM:adr, pages = "vii + 261", year = "1980", ISBN = "0-89791-011-7", ISBN-13 = "978-0-89791-011-8", LCCN = "QA76.7", bibdate = "Sat Jul 02 10:31:46 2005", note = "ACM order no. 549800.", acknowledgement = ack-nhfb, xxeditor = "ACM", } @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", ISBN-13 = "978-0-444-86493-2", LCCN = "Z244 .D63 1982", bibdate = "Sat Nov 12 21:44:28 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", } @Proceedings{Zlatuska:1992:EPE, editor = "Ji{\v{r}}{\'\i} Zlatu{\v{s}}ka", booktitle = "{Euro{\TeX} 92: Proceedings of the 7th European {\TeX} Conference}", title = "{Euro{\TeX} 92: Proceedings of the 7th European {\TeX} Conference}", publisher = pub-MASARYKOVA, address = pub-MASARYKOVA:adr, pages = "viii + 330", month = sep, year = "1992", ISBN = "80-210-0480-0", ISBN-13 = "978-80-210-0480-1", bibdate = "Sat Aug 27 11:11:50 1994", acknowledgement = ack-nhfb, } @Proceedings{Syropoulos:2004:TXD, editor = "Apostolos Syropoulos and Karl Berry and Yannis Haralambous and Baden Hughes and Steven Peter and John Plaice", booktitle = "{\TeX}, {XML}, and Digital Typography: International Conference on {\TeX}, XML, and Digital Typography, held jointly with the 25th Annual Meeting of the TeX Users Group, TUG 2004, Xanthi, Greece, August 30--September 3, 2004: Proceedings", title = "{\TeX}, {XML}, and Digital Typography: International Conference on {\TeX}, {XML}, and Digital Typography, held jointly with the 25th Annual Meeting of the Te{X} Users Group, {TUG 2004}, Xanthi, Greece, August 30--September 3, 2004 : Proceedings", volume = "3130", publisher = pub-SV, address = pub-SV:adr, pages = "viii + 263", year = "2004", CODEN = "LNCSD9", DOI = "10.1007/b99374", ISBN = "3-540-22801-2", ISBN-13 = "978-3-540-22801-1", ISSN = "0302-9743", LCCN = "Z253.3 I58 2004", bibdate = "Tue Nov 16 08:40:30 2004", series = ser-LNCS, URL = "http://link.springer-ny.com/link/service/series/0558/tocs/t3130.htm", acknowledgement = ack-nhfb, } @Proceedings{Unicode:2005:TSI, booktitle = "{Twenty-seventh Internationalization and Unicode Conference (IUC27). Unicode, Cultural Diversity, and Multilingual Computing, April 6--8, 2005, Berlin, Germany}", title = "{Twenty-seventh Internationalization and Unicode Conference (IUC27). Unicode, Cultural Diversity, and Multilingual Computing April 6--8, 2005 Berlin, Germany}", publisher = pub-UNICODE, address = pub-UNICODE-SAN-JOSE:adr, year = "2005", bibdate = "Sat Jul 09 07:10:21 2005", bibsource = "http://www.global-conference.com/iuc27/", acknowledgement = ack-nhfb, xxeditor = "{Unicode Consortium}", xxISBN = "????", xxLCCN = "????", xxpages = "????", }