summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2018-11-17 23:00:23 +0000
committerKarl Berry <karl@freefriends.org>2018-11-17 23:00:23 +0000
commitfe1abfbeb205f7d33ba416add2b4c0ea505c1131 (patch)
tree0ce9ec88215da928d635d8e5058b88bc129990a2 /Master/texmf-dist/bibtex/bib/beebe/texbook3.bib
parent0267e085053f70eb56e95cdc62462d981023d806 (diff)
doc, sync
git-svn-id: svn://tug.org/texlive/trunk@49183 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/bibtex/bib/beebe/texbook3.bib')
-rw-r--r--Master/texmf-dist/bibtex/bib/beebe/texbook3.bib320
1 files changed, 280 insertions, 40 deletions
diff --git a/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib b/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib
index ad2d7e5c264..40b17684f1c 100644
--- a/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib
+++ b/Master/texmf-dist/bibtex/bib/beebe/texbook3.bib
@@ -5,9 +5,9 @@
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
-%%% version = "3.66",
-%%% date = "03 November 2017",
-%%% time = "06:55:35 MDT",
+%%% version = "3.68",
+%%% date = "01 November 2018",
+%%% time = "11:18:32 MDT",
%%% filename = "texbook3.bib",
%%% address = "University of Utah
%%% Department of Mathematics, 110 LCB
@@ -17,7 +17,7 @@
%%% telephone = "+1 801 581 5254",
%%% FAX = "+1 801 581 4148",
%%% URL = "http://www.math.utah.edu/~beebe",
-%%% checksum = "20418 17301 71011 697150",
+%%% checksum = "20714 17541 72266 710017",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at computer.org (Internet)",
%%% codetable = "ISO/ASCII",
@@ -37,45 +37,46 @@
%%% covered in separate bibliographies
%%% (ep.bib, epodd.bib, and sgml.bib).
%%%
-%%% At version 3.66, the year coverage looks
+%%% At version 3.68, the year coverage looks
%%% like this:
%%%
-%%% 1928 ( 1) 1958 ( 0) 1988 ( 50)
-%%% 1929 ( 0) 1959 ( 0) 1989 ( 54)
-%%% 1930 ( 0) 1960 ( 0) 1990 ( 51)
-%%% 1931 ( 0) 1961 ( 0) 1991 ( 41)
-%%% 1932 ( 0) 1962 ( 1) 1992 ( 82)
-%%% 1933 ( 0) 1963 ( 0) 1993 ( 45)
-%%% 1934 ( 0) 1964 ( 0) 1994 ( 36)
-%%% 1935 ( 0) 1965 ( 0) 1995 ( 28)
-%%% 1936 ( 0) 1966 ( 0) 1996 ( 14)
-%%% 1937 ( 0) 1967 ( 1) 1997 ( 24)
-%%% 1938 ( 0) 1968 ( 0) 1998 ( 7)
-%%% 1939 ( 0) 1969 ( 1) 1999 ( 10)
-%%% 1940 ( 0) 1970 ( 2) 2000 ( 6)
-%%% 1941 ( 0) 1971 ( 1) 2001 ( 8)
-%%% 1942 ( 0) 1972 ( 2) 2002 ( 3)
-%%% 1943 ( 0) 1973 ( 1) 2003 ( 12)
-%%% 1944 ( 0) 1974 ( 1) 2004 ( 37)
-%%% 1945 ( 0) 1975 ( 1) 2005 ( 13)
-%%% 1946 ( 0) 1976 ( 3) 2006 ( 5)
-%%% 1947 ( 0) 1977 ( 2) 2007 ( 6)
-%%% 1948 ( 0) 1978 ( 7) 2008 ( 5)
-%%% 1949 ( 0) 1979 ( 5) 2009 ( 6)
-%%% 1950 ( 0) 1980 ( 8) 2010 ( 4)
-%%% 1951 ( 0) 1981 ( 12) 2011 ( 6)
-%%% 1952 ( 0) 1982 ( 21) 2012 ( 6)
-%%% 1953 ( 0) 1983 ( 24) 2013 ( 5)
-%%% 1954 ( 0) 1984 ( 15) 2014 ( 0)
-%%% 1955 ( 0) 1985 ( 36) 2015 ( 2)
-%%% 1956 ( 0) 1986 ( 42) 2016 ( 2)
-%%% 1957 ( 0) 1987 ( 48) 2017 ( 3)
+%%% 1928 ( 1) 1959 ( 0) 1990 ( 54)
+%%% 1929 ( 0) 1960 ( 0) 1991 ( 41)
+%%% 1930 ( 0) 1961 ( 0) 1992 ( 82)
+%%% 1931 ( 0) 1962 ( 1) 1993 ( 45)
+%%% 1932 ( 0) 1963 ( 0) 1994 ( 36)
+%%% 1933 ( 0) 1964 ( 0) 1995 ( 28)
+%%% 1934 ( 0) 1965 ( 0) 1996 ( 14)
+%%% 1935 ( 0) 1966 ( 0) 1997 ( 24)
+%%% 1936 ( 0) 1967 ( 1) 1998 ( 7)
+%%% 1937 ( 0) 1968 ( 0) 1999 ( 10)
+%%% 1938 ( 0) 1969 ( 1) 2000 ( 6)
+%%% 1939 ( 0) 1970 ( 2) 2001 ( 8)
+%%% 1940 ( 0) 1971 ( 1) 2002 ( 3)
+%%% 1941 ( 0) 1972 ( 2) 2003 ( 12)
+%%% 1942 ( 0) 1973 ( 1) 2004 ( 37)
+%%% 1943 ( 0) 1974 ( 1) 2005 ( 13)
+%%% 1944 ( 0) 1975 ( 1) 2006 ( 5)
+%%% 1945 ( 0) 1976 ( 3) 2007 ( 6)
+%%% 1946 ( 0) 1977 ( 2) 2008 ( 5)
+%%% 1947 ( 0) 1978 ( 7) 2009 ( 6)
+%%% 1948 ( 0) 1979 ( 5) 2010 ( 4)
+%%% 1949 ( 0) 1980 ( 8) 2011 ( 6)
+%%% 1950 ( 0) 1981 ( 12) 2012 ( 6)
+%%% 1951 ( 0) 1982 ( 21) 2013 ( 5)
+%%% 1952 ( 0) 1983 ( 24) 2014 ( 0)
+%%% 1953 ( 0) 1984 ( 15) 2015 ( 2)
+%%% 1954 ( 0) 1985 ( 36) 2016 ( 2)
+%%% 1955 ( 0) 1986 ( 42) 2017 ( 3)
+%%% 1956 ( 0) 1987 ( 48) 2018 ( 1)
+%%% 1957 ( 0) 1988 ( 50)
+%%% 1958 ( 0) 1989 ( 54)
%%% 19xx ( 2)
%%%
-%%% Article: 195
-%%% Book: 317
+%%% Article: 196
+%%% Book: 318
%%% Booklet: 12
-%%% InCollection: 11
+%%% InCollection: 13
%%% InProceedings: 125
%%% Manual: 16
%%% MastersThesis: 3
@@ -86,7 +87,7 @@
%%% TechReport: 60
%%% Unpublished: 2
%%%
-%%% Total entries: 808
+%%% Total entries: 812
%%%
%%% The ISBN and ISSN fields will be printed if
%%% the is-alpha.bst or is-plain.bst style
@@ -429,6 +430,8 @@
@String{j-IBM-SYS-J = "IBM Systems Journal"}
+@String{j-IEEE-ANN-HIST-COMPUT = "IEEE Annals of the History of Computing"}
+
@String{j-IEEE-CGA = "IEEE Computer Graphics and Applications"}
@String{j-IEEE-COMPUTER = "IEEE Computer"}
@@ -6232,7 +6235,7 @@
@Book{Gratzer:2016:MML,
author = "George Gr{\"a}tzer",
- title = "More Math Into {LaTeX}",
+ title = "More Math Into {\LaTeX}",
publisher = "Springer International Publishing",
address = "Cham, Switzerland",
edition = "Fifth",
@@ -6294,6 +6297,25 @@
acknowledgement = 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",
+ DOI = "https://doi.org/10.1007/978-1-4612-4476-9_17",
+ bibdate = "Sat Sep 03 09:41:32 1994",
+ bibsource = "http://www.math.utah.edu/pub/tex/bib/fparith.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook3.bib",
+ note = "This paper presents an alternate proof of Knuth's
+ algorithm \cite{Knuth:1990:SPW} for conversion between
+ decimal and fixed-point binary numbers.",
+ URL = "https://link.springer.com/chapter/10.1007/978-1-4612-4476-9_17",
+ acknowledgement = ack-nhfb,
+ keywords = "decimal floating-point arithmetic",
+}
+
@Article{Griffee:1988:ITF,
author = "Alan W. Griffee and Cherrelyn A. Casey",
title = "An introduction to typographic fonts and digital font
@@ -9396,6 +9418,32 @@
fjournal = "{\TeX\-hax}",
}
+@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",
+ DOI = "https://doi.org/10.1007/978-1-4612-4476-9_28",
+ MRclass = "68Q20 (11A67 68-04)",
+ MRnumber = "93c:68035",
+ MRreviewer = "F. J. van der Linden",
+ bibdate = "Fri Mar 22 18:03:29 MST 2002",
+ bibsource = "http://www.math.utah.edu/pub/tex/bib/texbook3.bib;
+ MathSciNet database",
+ 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} for binary to
+ decimal conversion, and \cite{Gries:1990:BDO} for an
+ alternate proof of Knuth's algorithm.",
+ URL = "https://link.springer.com/chapter/10.1007/978-1-4612-4476-9_28",
+ acknowledgement = ack-nhfb,
+}
+
@Article{Knuth:1990:VFMa,
author = "Donald Knuth",
title = "Virtual Fonts: More Fun for Grand Wizards",
@@ -16288,6 +16336,28 @@
(2005--2015).",
}
+@Article{Beeton:2018:TBD,
+ author = "Barbara Beeton and Karl Berry and David Walden",
+ title = "{\TeX}: A Branch of Desktop Publishing, Part 1",
+ journal = j-IEEE-ANN-HIST-COMPUT,
+ volume = "40",
+ number = "3",
+ pages = "78--93",
+ month = "????",
+ year = "2018",
+ CODEN = "IAHCEX",
+ DOI = "https://doi.org/10.1109/MAHC.2018.033841114",
+ ISSN = "1058-6180 (print), 1934-1547 (electronic)",
+ ISSN-L = "1058-6180",
+ bibdate = "Thu Nov 1 06:16:12 MDT 2018",
+ bibsource = "http://www.math.utah.edu/pub/tex/bib/ieeeannhistcomput.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook3.bib",
+ URL = "https://ieeexplore.ieee.org/document/8509554/",
+ acknowledgement = ack-nhfb,
+ fjournal = "IEEE Annals of the History of Computing",
+ journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=85",
+}
+
%%% =====================================================================
%%% We put all Proceedings entries at the end so they can be
%%% cross-referenced by earlier entries. This order is regrettably
@@ -16596,6 +16666,176 @@
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",
+ DOI = "https://doi.org/10.1007/978-1-4612-4476-9",
+ ISBN = "0-387-97299-4, 1-4612-8792-8 (print), 1-4612-4476-5
+ (online)",
+ ISBN-13 = "978-0-387-97299-2, 978-1-4612-8792-6 (print),
+ 978-1-4612-4476-9 (online)",
+ ISSN = "0172-603X",
+ ISSN-L = "0172-603X",
+ LCCN = "QA76 .B326 1990",
+ bibdate = "Thu Mar 24 09:27:40 1994",
+ bibsource = "http://www.math.utah.edu/pub/tex/bib/master.bib;
+ http://www.math.utah.edu/pub/tex/bib/texbook3.bib",
+ acknowledgement = ack-nhfb,
+ tableofcontents = "Anonymous / Front Matter / i--xix \\
+ Krzysztof R. Apt, Frank S. de Boer, Ernst-R{\"u}diger
+ Olderog / Proving Termination of Parallel Programs /
+ 1--6 / doi:10.1007/978-1-4612-4476-9_1 \\
+ Roland C. Backhouse / On a Relation on Functions /
+ 7--18 / doi:10.1007/978-1-4612-4476-9_2 \\
+ F. L. Bauer / Efficient Solution of a Non--Monotonic
+ Inverse Problem / 19--26 /
+ doi:10.1007/978-1-4612-4476-9_3 \\
+ A. Bijlsma / Semantics of Quasi--Boolean Expressions /
+ 27--35 / doi:10.1007/978-1-4612-4476-9_4 \\
+ Richard S. Bird / Small Specification Exercises /
+ 36--43 / doi:10.1007/978-1-4612-4476-9_5 \\
+ Maarten Boasson / Architecture of Real--Time Systems /
+ 44--53 / doi:10.1007/978-1-4612-4476-9_6 \\
+ Robert S. Boyer, Milton W. Green, J Strother Moore /
+ The Use of a Formal Simulator to Verify a Simple Real
+ Time Control Program / 54--66 /
+ doi:10.1007/978-1-4612-4476-9_7 \\
+ Donald W. Braben / Exploring the Future: Trends and
+ Discontinuities / 67--75 /
+ doi:10.1007/978-1-4612-4476-9_8 \\
+ Coen Bron / On a Renewed Visit to the Banker and a
+ Remarkable Analogy / 76--82 /
+ doi:10.1007/978-1-4612-4476-9_9 \\
+ Manfred Broy / On Bounded Buffers: Modularity,
+ Robustness, and Reliability in Reactive Systems /
+ 83--93 / doi:10.1007/978-1-4612-4476-9_10 \\
+ K. Mani Chandy, Stephen Taylor / Examples in Program
+ Composition / 94--101 /
+ doi:10.1007/978-1-4612-4476-9_11 \\
+ Albert J. Dijkstra / On the Mechanism of the
+ Hydrogenation of Edible Oils / 102--111 /
+ doi:10.1007/978-1-4612-4476-9_12 \\
+ W. H. J. Feijen, A. J. M. van Gasteren, D. Gries, J.
+ Misra / The Problem of the Majority Network / 112--118
+ / doi:10.1007/978-1-4612-4476-9_13 \\
+ W. H. J. Feijen / A Little Exercise in Deriving
+ Multiprograms / 119--126 /
+ doi:10.1007/978-1-4612-4476-9_14 \\
+ A. J. M. van Gasteren / Experimenting with a Refinement
+ Calculus / 127--134 / doi:10.1007/978-1-4612-4476-9_15
+ \\
+ Mohamed G. Gouda / Serializable Programs,
+ Parallelizable Assertions: A Basis for Interleaving /
+ 135--140 / doi:10.1007/978-1-4612-4476-9_16 \\
+ David Gries / Binary to Decimal, One More Time /
+ 141--148 / doi:10.1007/978-1-4612-4476-9_17 \\
+ A. N. Habermann / Rotate and Double / 149--162 /
+ doi:10.1007/978-1-4612-4476-9_18 \\
+ Eric C. R. Hehner / Beautifying G{\"o}del / 163--172 /
+ doi:10.1007/978-1-4612-4476-9_19 \\
+ G. Helmberg / A Striptease of Entropy / 173--175 /
+ doi:10.1007/978-1-4612-4476-9_20 \\
+ Ted Herman / On a Theorem of Jacobson / 176--181 /
+ doi:10.1007/978-1-4612-4476-9_21 \\
+ Wim H. Hesselink / Modalities of Nondeterminacy /
+ 182--192 / doi:10.1007/978-1-4612-4476-9_22 \\
+ C. A. R. Hoare / A Theory for the Derivation of C-mos
+ Circuit Designs / 193--205 /
+ doi:10.1007/978-1-4612-4476-9_23 \\
+ Rob Hoogerwoord / On Mathematical Induction and the
+ Invariance Theorem / 206--211 /
+ doi:10.1007/978-1-4612-4476-9_24 \\
+ J. J. Horning / Formalizing Some Classic
+ Synchronization Primitives / 212--219 /
+ doi:10.1007/978-1-4612-4476-9_25 \\
+ Cliff B. Jones / Consequences / 220--225 /
+ doi:10.1007/978-1-4612-4476-9_26 \\
+ Anne Kaldewaij / Shortest and Longest Segments /
+ 226--232 / doi:10.1007/978-1-4612-4476-9_27 \\
+ Donald E. Knuth / A Simple Program Whose Proof Isn't /
+ 233--242 / doi:10.1007/978-1-4612-4476-9_28 \\
+ Vadim E. Kotov / Binding Structure and Behaviour in
+ ``Whole Net'' Concurrency Semantics / 243--250 /
+ doi:10.1007/978-1-4612-4476-9_29 \\
+ F. E. J. Kruseman Aretz / Maximal Strong Components: An
+ Exercise in Program Presentation / 251--261 /
+ doi:10.1007/978-1-4612-4476-9_30 \\
+ Christian Lengauer, Duncan G. Hudson / A Systolic
+ Program for Gauss--Jordan Elimination / 262--273 /
+ doi:10.1007/978-1-4612-4476-9_31 \\
+ J. H. van Lint / Coding for Channels with Localized
+ Errors / 274--279 / doi:10.1007/978-1-4612-4476-9_32
+ \\
+ Johan J. Lukkien, Jan L. A. van de Snepscheut /
+ Topology-Independent Algorithms Based on Spanning Trees
+ / 280--288 / doi:10.1007/978-1-4612-4476-9_33 \\
+ Zohar Manna, Amir Pnueli / An Exercise in the
+ Verification of Multi--Process Programs / 289--301 /
+ doi:10.1007/978-1-4612-4476-9_34 \\
+ Alain J. Martin / The Limitations to
+ Delay--Insensitivity in Asynchronous Circuits /
+ 302--311 / doi:10.1007/978-1-4612-4476-9_35 \\
+ Jayadev Misra / A Simple Proof of a Simple Consensus
+ Algorithm / 312--318 / doi:10.1007/978-1-4612-4476-9_36
+ \\
+ Carroll Morgan / Of wp and {CSP} / 319--326 /
+ doi:10.1007/978-1-4612-4476-9_37 \\
+ Joseph M. Morris / Programming by Expression
+ Refinement: the {KMP} Algorithm / 327--338 /
+ doi:10.1007/978-1-4612-4476-9_38 \\
+ Greg Nelson / Methodical Competitive Snoopy--Caching /
+ 339--345 / doi:10.1007/978-1-4612-4476-9_39 \\
+ Peter G. Neumann / Beauty and the Beast of Software
+ Complexity Elegance versus Elephants / 346--351 /
+ doi:10.1007/978-1-4612-4476-9_40 \\
+ W. Peremans / A Note on Feasibility / 352--355 /
+ doi:10.1007/978-1-4612-4476-9_41 \\
+ Karel A. Post / A Curious Property of Points and
+ Circles in the Plane / 356--357 /
+ doi:10.1007/978-1-4612-4476-9_42 \\
+ Paul Pritchard / A Problem Involving Subsequences /
+ 358--364 / doi:10.1007/978-1-4612-4476-9_43 \\
+ Martin Rem / A Personal Perspective of the
+ Alpern--Schneider Characterization of Safety and
+ Liveness / 365--372 / doi:10.1007/978-1-4612-4476-9_44
+ \\
+ Fred B. Schneider / Simpler Proofs for Concurrent
+ Reading and Writing / 373--379 /
+ doi:10.1007/978-1-4612-4476-9_45 \\
+ Carel S. Scholten / Goodbye Junctivity? / 380--385 /
+ doi:10.1007/978-1-4612-4476-9_46 \\
+ Henk C. A. van Tilborg / An Assignment Problem for the
+ Vertices of a Cycle / 386--389 /
+ doi:10.1007/978-1-4612-4476-9_47 \\
+ D. A. Turner / Duality and De Morgan Principles for
+ Lists / 390--398 / doi:10.1007/978-1-4612-4476-9_48 \\
+ W. M. Turski / The Quest for Timeless Specifications
+ Leads to Non--Stepping Automata / 399--409 /
+ doi:10.1007/978-1-4612-4476-9_49 \\
+ Jan Tijmen Udding / The Maximum Length of a Palindrome
+ in a Sequence / 410--416 /
+ doi:10.1007/978-1-4612-4476-9_50 \\
+ Lincoln A. Wallen / On Form, Formalism and Equivalence
+ / 417--426 / doi:10.1007/978-1-4612-4476-9_51 \\
+ N. Wirth / Drawing Lines, Circles, and Ellipses in a
+ Raster / 427--434 / doi:10.1007/978-1-4612-4476-9_52
+ \\
+ Jaap van der Woude / Calculations with Relations, an
+ Example / 435--441 / doi:10.1007/978-1-4612-4476-9_53
+ \\
+ Heinz Zemanek / Two Proofs for Pythagoras / 442--447 /
+ doi:10.1007/978-1-4612-4476-9_54 \\
+ Anonymous / Back Matter / 448--453",
+}
+
@Proceedings{Forsley:1989:RFC,
editor = "Lawrence P. Forsley",
booktitle = "1989 Rochester Forth Conference. Industrial