summaryrefslogtreecommitdiff
path: root/support/splint/cweb/references.w
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2020-10-12 03:04:00 +0000
committerNorbert Preining <norbert@preining.info>2020-10-12 03:04:00 +0000
commit0ce40abb18ec02ec6fd6bcc5f21612c88daa7578 (patch)
tree416289fe1448873fd8ca33051f50ad85bffa8aaa /support/splint/cweb/references.w
parentfdb18507cd80dc17f5a5256153d34668b4f4e61c (diff)
CTAN sync 202010120303
Diffstat (limited to 'support/splint/cweb/references.w')
-rw-r--r--support/splint/cweb/references.w31
1 files changed, 30 insertions, 1 deletions
diff --git a/support/splint/cweb/references.w b/support/splint/cweb/references.w
index 76dc718d3b..83397c93bb 100644
--- a/support/splint/cweb/references.w
+++ b/support/splint/cweb/references.w
@@ -1,3 +1,19 @@
+@q Copyright 2012-2020, Alexander Shibakov@>
+@q This file is part of SPLinT@>
+
+@q SPLinT is free software: you can redistribute it and/or modify@>
+@q it under the terms of the GNU General Public License as published by@>
+@q the Free Software Foundation, either version 3 of the License, or@>
+@q (at your option) any later version.@>
+
+@q SPLinT is distributed in the hope that it will be useful,@>
+@q but WITHOUT ANY WARRANTY; without even the implied warranty of@>
+@q MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the@>
+@q GNU General Public License for more details.@>
+
+@q You should have received a copy of the GNU General Public License@>
+@q along with SPLinT. If not, see <http://www.gnu.org/licenses/>.@>
+
@** Bibliography. This list of references is not meant to be
exhaustive or complete. These are merely the papers and the books
mentioned in the body of the program above. Naturally, this project
@@ -6,7 +22,6 @@ to list them all due to time and (human) memory limitations.
{%
\def\BASIX{{B\kern-.7ptA\kern-.7ptS\kern-.3pt\lower1.3pt\hbox{I}\kern-.3pt X}}
-\def\MF{{\tt METAFONT}}
\def\bterm#1{\item{[#1]\namedspot{#1bibref}\quad}\ignorespaces}%
\setbox0=\hbox{[ISO/C11]\quad}
\parindent=0pt
@@ -16,6 +31,9 @@ to list them all due to time and (human) memory limitations.
\centerline{\dinkus}%
\smallskip
+\bterm{ACM}Ronald M.~Baecker, Aaron~Marcus, {\it Human Factors and Typography for More Readable Programs},
+Reading, Massachusetts: Addison-Wesley, 1990, xx+344~pp.
+
\bterm{Ah}Alfred V.~Aho et al., {\it Compilers: Principles,
Techniques, and Tools}, Pearson Education, 2006.
@@ -23,10 +41,16 @@ Techniques, and Tools}, Pearson Education, 2006.
Yacc-compatible Parser Generator}, The Free Software Foundation, 2013.
\url{http://www.gnu.org/software/bison/}
+\bterm{CWEB}Donald E. Knuth and Silvio Levy {\it The \CWEB\ System of Structured Documentation},
+Reading, Massachusetts: Addison-Wesley, 1993, iv+227~pp.
+
\bterm{DEK1}Donald E.~Knuth, {\it The \TeX book}, Addison-Wesley Reading, Massachusetts, 1984.
\bterm{DEK2}Donald E.~Knuth {\it The future of \TeX\ and \MF}, TUGboat {\bf 11} (4), p.~489, 1990.
+\bterm{DHB}R.~Kent Dybvig, Robert Hieb, and Carl Bruggeman, {\em Syntactic Abstraction in Scheme},
+Lisp Symb.\ Comput.\ 5, {\bf 4} (Dec.~1992), pp.~295--326.
+
\bterm{Do}Jean-luc Doumont, {\it Pascal pretty-printing: an example of ``preprocessing with \TeX''},
TUGboat {\bf 15} (3), 1994---Proceedings of the 1994 TUG Annual Meeting
@@ -58,11 +82,16 @@ pp.~136--140, 2009---Euro\TeX\ 2009 Proceedings.
\bterm{Jo}Derek M.~Jones, {\it The New C Standard: An Economic and
Cultural Commentary}, available at \url{http://www.knosof.co.uk/cbook/cbook.html}.
+\bterm{KR}B.~Kernighan, D.~Ritchie, {\it The \Cee\ programming language}, Englewood Cliffs, NJ: Prentice Hall, 1978.
+
\bterm{La}{\it The \.{l3regex} package: regular expressions in \TeX}, The \LaTeX3\ Project.
\bterm{Pa}Vern Paxson et al., {\it Lexical Analysis With Flex, for
Flex~2.5.37}, July~2012. \url{http://flex.sourceforge.net/manual/}.
+\bterm{Ra}Norman Ramsey, {\it Literate programming simplified}, IEEE Software, {\bf 11} (5),
+pp.~97--105, 1994.
+
\bterm{Sh}Alexander Shibakov, {\it Parsers in \TeX\ and using \CWEB\ for general pretty-printing},
TUGboat {\bf 35} (1), 2014, available as part of the documentation supplied with \splint.