% /u/sy/beebe/tex/bib/litprog.bib, Wed Mar 11 07:57:40 1992
% Edit by Nelson H. F. Beebe <beebe at eros.math.utah.edu>
%
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.55",
%%%     date            = "08 February 1995",
%%%     time            = "10:57:54 MST",
%%%     filename        = "litprog.bib",
%%%     address         = "Center for Scientific Computing
%%%                        Department of Mathematics
%%%                        University of Utah
%%%                        Salt Lake City, UT 84112
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 581 4148",
%%%     checksum        = "19622 2195 10066 92230",
%%%     email           = "beebe at eros.math.utah.edu (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "bibliography, literate programming",
%%%     supported       = "yes",
%%%     docstring       = "This BibTeX file records books and articles
%%%                        about literate programming.  The ISBN fields will
%%%                        be printed if the is-alpha.bst or is-plain.bst
%%%                        style files are used.
%%%
%%%                        CONVENTIONS
%%%
%%%                        Books are tagged by the first author's last
%%%                        name, a colon, up to 3 upper-case letters
%%%                        taken from the first three upper-case words
%%%                        in the title (ignoring words like A, And,
%%%                        The), followed by the last two digits of
%%%                        the publication year.  If there is a volume
%%%                        entry, it is appended to the tag, prefixed
%%%                        by a hyphen.
%%%
%%%                        For Dutch authors, a van part is included
%%%                        in the author tag.  For names with accented
%%%                        letters, accents are dropped in the author
%%%                        tag.
%%%
%%%                        This scheme is systematic enough that it
%%%                        can be programmed: most of the
%%%                        Addison-Wesley book entries were created
%%%                        with an awk program from a dump of the AW
%%%                        database supplied by Mona Zeftel.  Older
%%%                        entries in this bibliography were modified
%%%                        on 28-Nov-1990 to conform to this tagging
%%%                        scheme.
%%%
%%%                        The choice of a limit of 3 letters was
%%%                        determined from experiments on the
%%%                        Addison-Wesley collection.  Long tags are
%%%                        undesirable because they are a nuisance to
%%%                        type, and also interfere with the tagged
%%%                        bibliography output produced using the
%%%                        LaTeX showtags style option.
%%%
%%%                        Journal article tags look like
%%%                        author:abbrev-volume-number-page, where the
%%%                        author part is the last name of the first
%%%                        author: for example, VanWyk:CACM-33-3-361.
%%%
%%%                        Technical report tags look like
%%%                        author:abbrev-number: for example,
%%%                        Billawala:STAN-CS-89-1256.
%%%
%%%                        The Como InProceedings entries look like
%%%                        author:TEX85-page: for example,
%%%                        Agostini:TEX85-117.  Other InProceedings
%%%                        entries should follow a similar style.
%%%
%%%                        Entries are stored ordered by the BibTeX
%%%                        tag name, independent of the entry type
%%%                        (the GNU Emacs function sort-bibtex-entries
%%%                        can be used to ensure correct ordering).
%%%                        However, entries that are cross-referenced
%%%                        by others are stored at the end of the
%%%                        file, since that order is required by
%%%                        BibTeX.
%%%
%%%                        With few exceptions, value fields for
%%%                        acknowledgement, address, journal, and
%%%                        publisher keywords should use macros
%%%                        defined in the string preamble below.  This
%%%                        helps to ensure consistency, and reduces
%%%                        the entry sizes.  Address entries must
%%%                        always include the country.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility."
%%%  }
%%% ====================================================================

%%%
%%% Thanks go to:
%%% Mark B. Motl <motl at cs.tamu.edu> for additions and corrections
%%% [05-Jul-1990]
%%%

%%% \addtocounter{page}{36}"  % was used in the report after \input bibnames

@Preamble{"\input bibnames.sty "
 # "\hyphenation{Ker-n-i-ghan Port-able  Post-Script Pren-tice Richt-er
    Spring-er} "
}

%=======================================================================
% Acknowledgement abbreviations:

@String{ack-bc = "S. Bart Childs,
                   e-mail: \verb|bart@cs.tamu.edu|"}
@String{ack-bnb = "Barbara N. Beeton
                   e-mail: \verb|bnb@math.ams.com|"}
@String{ack-dl = "Dave Love,
                   e-mail: \verb|d.love@daresbury.ac.uk|"}
@String{ack-eg = "Eitan M. Gurari,
                  e-mail: \verb|gurari@cis.ohio-state.edu|"}
@String{ack-ma = "M. Afzal
                 e-mail: \verb|M.Afzal@greenwich.ac.uk|"}
@String{ack-nhfb = "Nelson H. F. Beebe,
                    Center for Scientific Computing,
                    Department of Mathematics,
                    University of Utah,
                    Salt Lake City, UT 84112, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 581 4148,
                    e-mail: \verb|beebe@math.utah.edu|"}
@String{ack-nr  = "Norman Ramsey,
                   e-mail: \verb|norman@bellcore.com|"}
@String{ack-pb  = "Preston Briggs,
                   e-mail: \verb|preston@cs.rice.edu|"}
@String{ack-pt  = "Piet Tutelaers
                   e-mail: \verb|rcpt@urc.tue.nl|"}

%=======================================================================
% Journal abbreviations:

@String{j-ACM-ADALET    = "ACM Ada Letters"}
@String{j-ACM-COMPREV   = "ACM Computing Reviews"}
@String{j-CACM = "Communications of the Association for Computing Machinery"}
@String{j-CJ            = "The Computer Journal"}
@String{j-COMPLANG      = "Computer Language"}
@String{j-COMPUTER      = "Computer"}
@String{j-IEEE-SOFTWARE = "IEEE Software"}
@String{j-LNCS          = "Lecture Notes in Computer Science"}
@String{j-OOP           = "Journal of Object Oriented Programming"}
@String{j-RS-MAGAZINE   = "RS\slash Magazine"}
@String{j-SIGPLAN       = "ACM SIGPLAN Notices"}
@String{j-SEJ           = "Software Engineering Journal"}
@String{j-SP            = "Journal of Structured Programming"}
@String{j-SPE           = "Soft{\-}ware\emdash Prac{\-}tice and Experience"}
@String{j-TEXHAX        = "{\TeX{}{\-}hax}"}
@String{j-TUGboat       = "{\TUB{}}"}

%=======================================================================
% Publishers and their addresses:

@String{pub-ACM         = "ACM Press"}
@String{pub-ACM:adr     = "New York, NY 10036, USA"}
@String{pub-AW          = "Ad{\-d}i{\-s}on-Wes{\-l}ey"}
@String{pub-AW:adr      = "Reading, MA, USA"}
@String{pub-BENCUM      = "Benjamin/Cummings Pub. Co."}
@String{pub-BENCUM:adr  = "Redwood City, CA, USA"}
@String{pub-IEEE-CSP    = "IEEE CS Press"}
@String{pub-IEEE-CSP:adr = "Los Alamitos, CA, USA"}
@String{pub-MH          = "McGraw-Hill"}
@String{pub-MH:adr      = "New York, NY, USA"}
@String{pub-PH          = "Pren{\-}tice-Hall"}
@String{pub-PH:adr      = "Englewood Cliffs, NJ 07632, 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-TEXPLORATOR = "The {\TeX}plorators Corporation"}
@String{pub-TEXPLORATOR:adr = "3701 W. Alabama, Suite 450-273,
                               Houston, TX 77027, USA"}
@String{pub-VNR         = "Van Nostrand Reinhold"}
@String{pub-VNR:adr     = "New York, NY, USA"}

%=======================================================================
% Bibliography entries.

@Article{Akiguchi:AUC92,
  author =       "C. Akiguchi",
  title =        "Application of {UIMS} to {CASE} environment",
  journal =      "Joho Shori",
  volume =       "33",
  number =       "11",
  pages =        "1314--1323",
  month =        nov,
  year =         "1992",
  ISSN =         "0447-8053",
  abstract =     "Discusses graphical user interfaces; interaction
                 techniques; PERT; work breakdown structure; the X
                 Window System; the Model-View-Controller; the
                 EditorWidget; Adobe PostScript; XSPD*C; SPECDESSIN/SA
                 and SPECDESSIN/FLOW; IX; and literate programming. (12
                 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Software Eng. Dev. Labs., NEC Corp., Tokyo, Japan",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6115 (Programming support); C6180 (User
                 interfaces)",
  CODEN =        "JOSHA",
  keywords =     "User interface management systems; CASE environment;
                 Graphical user interfaces; Interaction techniques;
                 PERT; Work breakdown structure; X Window System;
                 Model-View-Controller; EditorWidget; PostScript;
                 XSPD*C; SPECDESSIN/SA; SPECDESSIN/FLOW; IX; Literate
                 programming",
  language =     "Japanese",
  thesaurus =    "Graphical user interfaces; Programming environments;
                 Software tools; User interface management systems",
}

@Article{Appelt:TB7-1-20,
  author =       "W. Appelt and K. Horn",
  title =        "{{Multiple changefiles in \WEB{}}}",
  journal =      j-TUGboat,
  year =         "1986",
  volume =       "7",
  number =       "1",
  pages =        "20",
  month =        Mar,
}

@Article{Avenarius:SIGPLAN-25-1-52,
  author =       "Adrian Avenarius and Siegfried Oppermann",
  title =        "{\FWEB}: {A} Literate Programming System for {Fortran
                 8X}",
  journal =      j-SIGPLAN,
  year =         "1990",
  volume =       "25",
  number =       "1",
  pages =        "52--58",
  month =        jan,
  ISSN =         "0362-1340",
  abstract =     "The new FWEB system applies the concept of literate
                 programming to the FORTRAN8X language. Its design and
                 implementation provided an opportunity to field-test
                 WEB's applicability and provoked some reflections on
                 its underlying concepts. (12 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Tech. Hochschule, Darmstadt, West Germany",
  bibdate =      "Wed Aug 31 23:26:29 1994",
  classification = "C6115 (Programming support); C6140D (High level
                 languages)",
  CODEN =        "SINOD",
  keywords =     "Programming tools; Structural documentation; FWEB;
                 Literate programming system; FORTRAN8X",
  thesaurus =    "FORTRAN; Software tools",
}

@InProceedings{Baecker:CHI86-51,
  author =       "Ronald Baecker and Aaron Marcus",
  title =        "Design Principles for the Enhanced Presentation of
                 Computer Program Source Text",
  booktitle =    "Proceedings {CHI}'86 (Human Factors in Computing
                 Systems)",
  year =         "1986",
  pages =        "51--58",
  organization = "Association for Computing Machinery",
  address =      "New York, {NY}, {USA}",
  month =        apr,
}

@Book{Baecker:HFT90,
  author =       "Ronald Baecker and Aaron Marcus",
  title =        "Human Factors and Typography for More Readable
                 Programs",
  publisher =    pub-AW,
  year =         "1990",
  ISBN =         "0-201-10745-7",
  address =      pub-AW:adr,
}

@InProceedings{Ballard:EDT89,
  author =       "F. Ballard",
  booktitle =    "Conference proceedings / SIGDOC 89, November 8--10, 1989,
                 Pittsburgh Hilton and Towers, Pittsburgh, Pennsylvania",
  title =        "`Executable' documentation: testing the documentation
                 documenting the testing",
  pages_whole =  "iv + 146",
  pages =        "143--146",
  month =        nov,
  year =         "1989",
  publisher =    "ACM",
  address =      "New York, NY, USA",
  ISBN =         "0-89791-337-X",
  LCCN =         "QA 76.9 D6 S54 1989",
  abstract =     "Too often documentation represents wishful thinking.
                 It is what the designer hopes the program will do. It
                 is what the programmer thinks the program does. It is
                 what the customer wants the program to do. Often little
                 effort is made to check the documentation against what
                 the program actually does. As with many tasks performed
                 in the program development environment, even less
                 effort is made to automate checking the correspondence
                 of expected, documented, results to actual results. The
                 paper describes a modest effort to allow the computer
                 testing of expected results against actual output in a
                 `literate' style. (3 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Synectics Inc., Chicago, IL, USA",
  bibdate =      "Sat Sep 17 11:05:18 1994",
  classification = "C6110 (Systems analysis and programming)",
  conf_date =    "8--10 Nov. 1989",
  conf_location = "Pittsburgh, PA, USA",
  conf_sponsor = "ACM",
  keywords =     "Documentation; Testing",
  language =     "English",
  pub_country =  "USA",
  thesaurus =    "Program testing; System documentation",
}

@Article{Becker:TB7-2-109,
  author =       "Helmut Becker",
  title =        "{{\WEB{} system extensions}}",
  journal =      j-TUGboat,
  year =         "1986",
  volume =       "7",
  number =       "2",
  pages =        "109",
  month =        Jun,
}

@Article{Ben-Ari:j-SPE-16-10-915,
  author =       "Mordechai Ben-Ari",
  title =        "{FOREET}: {A} Tool for Design and Documentation of
                 {Fortran} Programs",
  journal =      j-SPE,
  volume =       "16",
  number =       "10",
  year =         "1986",
  pages =        "915--924",
  acknowledgement = ack-eg,
}

@Article{Bentley:CACM-29-5-364,
  author =       "Jon Bentley",
  title =        "Programming Pearls\emdash{}Literate Programming",
  journal =      j-CACM,
  year =         "1986",
  volume =       "29",
  number =       "5",
  pages =        "364--369",
  month =        may,
}

@Article{Bentley:CACM-29-6-471,
  author =       "Jon Bentley and Donald E. Knuth and Doug McIlroy",
  title =        "Programming Pearls\emdash{}{A} Literate Program",
  journal =      j-CACM,
  year =         "1986",
  volume =       "29",
  number =       "6",
  pages =        "471--483",
  month =        jun,
}

@Article{Bentley:CACM-30-4-284,
  author =       "Jon Bentley and David Gries",
  title =        "Programming Pearls\emdash{}Abstract data types",
  journal =      j-CACM,
  year =         "1987",
  volume =       "30",
  number =       "4",
  pages =        "284--290",
  month =        apr,
}

@Article{Bishop:SP-13-1-23,
  author =       "Judy M. Bishop and Kevin M. Gregson",
  title =        "Literate Programming and the {LIPED} Environment",
  journal =      j-SP,
  year =         "1992",
  volume =       "13",
  number =       "1",
  pages =        "23--34",
  acknowledgement = ack-bnb # " and " # ack-pt  # " and " # ack-nhfb,
  ISSN =         "0935-1183",
  abstract =     "The philosophy of literate programming was introduced
                 by Donald Knuth while developing the documentation
                 system {\TeX}. His WEB system consists of two
                 processes, WEAVE and TANGLE, that read a specially
                 constructed literate program source file and produce as
                 output a file containing compilable code and a file for
                 input into {\TeX}. WEB uses a batch approach that
                 seems to hinder the development of new literate
                 programs, and it has not been widely used outside its
                 home base. The literate programming environment LIPED,
                 described in this paper, aims to make the development
                 of literature programs easier by being interactive
                 (rather than batch as is WEB) and by providing instant
                 access to a table of contents, a cross-reference table,
                 and the extracted code. Language independence is
                 achieved, and special facilities are made available to
                 cater for modern programming paradigms. The system runs
                 on minimal hardware and interfaces easily to existing
                 compilers and text processors. This paper describes the
                 background and progress of literate programming,
                 compares the available literate programming systems,
                 and provides an overview of LIPED. (18 Refs.)",
  affiliation =  "Dept. of Comput. Sci., Univ. of Witwatersrand,
                 Johannesburg, South Africa",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6115 (Programming support); C6110 (Systems analysis
                 and programming)",
  CODEN =        "STPGE",
  keywords =     "LIPED environment; Literate programming; WEB system;
                 WEAVE; TANGLE; Compilable code; Programming
                 environment; Cross-reference table; Programming
                 paradigms",
  language =     "English",
  pub_country =  "USA",
  thesaurus =    "Programming environments; Structured programming",
}

@TechReport{Briggs:NUWEB-93,
  author =       "Preston Briggs",
  title =        "{Nuweb}, {A} Simple Literate Programming Tool",
  institution =  "Rice University",
  year =         "1993",
  type =         "\verb|cs.rice.edu:/public/preston|",
  address =      "Houston, TX",
  acknowledgement = ack-bc,
  bibdate =      "Mon Oct 4 17:27:43 1993",
}

@PhdThesis{Brown:lit-prog-thesis,
  author =       "Marcus E. Brown",
  title =        "An Interactive Environment for Literate Programming",
  school =       "Texas A\&M University",
  address =      "College Station, TX",
  year =         "1988",
  month =        aug,
}

@InProceedings{Brown:PCE90-548,
  author =       "Marcus E. Brown and David Cordes",
  title =        "A Literate Programming Design Language",
  booktitle =    "COMPEURO'90: Proceedings of the 1990 IEEE International
                 Conference on Computer Systems and Software Engineering, May
                 8--10, 1990, Tel-Aviv, Israel",
  year =         "1990",
  pages_whole =  "xiii + 574",
  pages =        "548--549",
  publisher =    pub-IEEE-CSP,
  address =      pub-IEEE-CSP:adr,
  ISBN =         "0-8186-2041-2",
  LCCN =         "QA76.9.S88 C66 1990",
  abstract =     "A literate programming paradigm that provides an
                 environment suitable for documenting and organizing the
                 low-level design of a system is presented. It is shown
                 that a literate program design language (PDL)
                 strengthens the bridge design and implementation
                 activities since the documentation generated during the
                 design phase can be used directly as a shell for
                 program construction. In this type of language, module
                 names and program constructs appear as labeled modules
                 which can be directly expanded into their equivalent
                 code. (4 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Dept. of Comput. Sci., Alabama Univ., Huntsville, AL,
                 USA",
  bibdate =      "Sat Sep 17 11:05:29 1994",
  classification = "C6115 (Programming support); C6140D (High level
                 languages)",
  conf_date =    "8--10 May 1990",
  conf_location = "Tel-Aviv, Israel",
  conf_sponsor = "IEEE; Inf. Processing Assoc. Israel",
  keywords =     "Literate programming design language; Low-level
                 design; Documentation; Program construction; Module
                 names; Program constructs",
  thesaurus =    "High level languages; Software tools; Specification
                 languages",
}

@Article{BrinchHansen:j-SPE-24-6-579,
  author =       "Per {Brinch Hansen}",
  title =        "Multiple-length Division Revisited: a Tour of the
                 Minefield",
  journal =      j-SPE,
  year =         "1994",
  volume =       "24",
  number =       "6",
  pages =        "579--601",
  month =        jun,
  note =         "This paper derives an algorithm for division of long
                 integers, and implements it as a literate program,
                 although without identifier cross-references.",
  bibdate =      "Wed Aug 24 15:30:29 1994",
  acknowledgement = ack-nhfb,
}

@Article{Brown:SP-11-1-11,
  author =       "Marcus E. Brown and Bart Childs",
  title =        "An Interactive Environment for Literate Programming",
  journal =      j-SP,
  year =         "1990",
  volume =       "11",
  number =       "1",
  pages =        "11--25",
  ISSN =         "0935-1183",
  abstract =     "Interest in the field of Literate Programming is
                 increasing, but it is not yet clear whether the WEB
                 system for Literate Programming will receive widespread
                 acceptance. This is due in part to the increased
                 complexity of programming using WEB. This research
                 concerns the development of an environment aimed at
                 reducing the complexity of programming in WEB by
                 creating a user interface allowing the programmer to
                 interact more intuitively with the WEB program. (23
                 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Dept. of Comput. Sci., Alabama Univ., Tuscaloosa, AL,
                 USA",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6115 (Programming support); C6180 (User
                 interfaces)",
  CODEN =        "STPGE",
  keywords =     "Interactive environment; Literate programming; WEB;
                 Environment; User interface; WEB program",
  thesaurus =    "Programming environments; User interfaces",
}

@Article{Brown:SP-11-2-85,
  author =       "Marcus E. Brown and David Cordes",
  title =        "Literate Programming Applied to Conventional Software
                 Design",
  journal =      j-SP,
  year =         "1990",
  volume =       "11",
  number =       "2",
  pages =        "85--98",
  ISSN =         "0935-1183",
  abstract =     "A software maintenance costs continue to increase,
                 greater emphasis is being placed on techniques for
                 improving the readability and understandability of
                 programs. The ability of the program author to present
                 the underlying logic and design of the program plays a
                 large role in reader comprehension of the program. The
                 paper looks at the use of literate programming to help
                 capture the system design within the generated code.
                 (20 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Dept. of Comput. Sci., Alabama Univ., Tuscaloosa, AL,
                 USA",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6110B (Software engineering techniques)",
  CODEN =        "STPGE",
  keywords =     "WEB; Structured programming; Software design; Software
                 maintenance; Readability; Understandability; Program
                 author; Underlying logic; Literate programming; System
                 design",
  thesaurus =    "Software engineering; Structured programming; System
                 documentation",
}

@InProceedings{Brown:HLP90,
  author =       "M. Brown and B. Czejdo",
  booktitle =    "{Advances in computing and information--ICCI '90 /
                 International Conference on Computing and
                 Information, Niagara Falls, Canada, May 23--26, 1990,
                 Proceedings}",
  title =        "A hypertext for literate programming",
  pages_whole =  "vii + 529",
  pages =        "250--259",
  month =        may,
  year =         "1990",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  ISBN =         "3-540-53504-7",
  LCCN =         "QA75.5 .I578 1990",
  abstract =     "The authors describe a hypertext presentation for the
                 WEB system for literate programming. The requirements
                 for an environment for modern literate programming are
                 analyzed and the WEB hypertext system is proposed.
                 Different types of windows for displaying text, indices
                 and graphical representations are discussed. All
                 semantic links and operators using them are analyzed.
                 The proposed architecture of the WEB hypertext system
                 includes a general purpose relational database
                 management system. Mapping between hypertext queries
                 and relational database queries is provided. The system
                 allows the user to define new hypertext operations by
                 providing the corresponding SQL queries for the
                 underlying relational database. The described system
                 can be easily extended by many other types of queries
                 and applications. (11 Refs.)",
  acknowledgement = ack-eg # " and " # ack-nhfb,
  affiliation =  "Dept. of Comput. Sci., Alabama Univ., Tuscaloosa, AL,
                 USA",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6115 (Programming support); C6180 (User
                 interfaces); C6160D (Relational DBMS)",
  conf_date =    "23--26 May 1990",
  conf_location = "Niagara Falls, Ont., Canada",
  conf_sponsor = "Natural Sci. Eng. Res. Council of Canada; Carleton
                 Univ.; Laurentian Univ",
  editor =       "Selim G. Akl and F. Fiala and Waldemar W. Koczkodaj",
  keywords =     "Hypertext; Literate programming; WEB system; Windows;
                 Graphical representations; Semantic links; Relational
                 database management system; Hypertext queries; SQL
                 queries",
  thesaurus =    "Hypermedia; Programming environments; Relational
                 databases; User interfaces",
}

@Article{Childs:TB-13-3-261,
  author =       "Bart Childs",
  title =        "Literate Programming, {A} Practitioner's View",
  journal =      j-TUGboat,
  year =         "1992",
  volume =       "13",
  number =       "3",
  pages =        "261--268",
  month =        oct,
  acknowledgement = ack-bc,
  bibdate =      "Mon Oct 4 17:21:07 1993",
}

@TechReport{Childs:LP92,
  author =       "Bart Childs",
  title =        "An Introduction to the {WEB} Style of Literate
                 Programming",
  institution =  "Texas A\&M University",
  year =         "1992",
  type =         "\verb|ftp.cs.tamu.edu:/pub/tex-web/web/DOCs|",
  address =      "College Station, TX",
  acknowledgement = ack-bc,
  bibdate =      "Mon Oct 4 17:21:07 1993",
}

@TechReport{Childs:LP93,
  author =       "Bart Childs",
  title =        "{GNU} {Emacs} Reference Card (with web-mode)",
  institution =  "Texas A\&M University",
  year =         "1993",
  type =         "\verb|ftp.cs.tamu.edu:/pub/tex-web/web/DOCs|",
  address =      "College Station, TX",
  acknowledgement = ack-bc,
  bibdate =      "Wed Aug 24 17:50:54 1994",
}

@Article{Copeland:ILP95,
  author =       "Jeffrey Copeland and Jeffrey Haemer",
  title =        "An Introduction to Literate Programming",
  journal =      j-RS-MAGAZINE,
  year =         "1995",
  volume =       "4",
  number =       "1",
  pages =        "26--30",
  month =        jan,
  acknowledgement = ack-nhfb,
  bibdate =      "Fri Jan 27 13:45:03 1995",
}

@Article{Cordes:COMPUTER-24-6-52,
  author =       "David Cordes and Marcus Brown",
  title =        "The Literate-Programming Paradigm",
  journal =      j-COMPUTER,
  year =         "1991",
  volume =       "24",
  number =       "6",
  pages =        "52--61",
  month =        jun,
  ISSN =         "0018-9162",
  abstract =     "Literate programming, a technique for coding software
                 systems that promotes readability and comprehension, is
                 examined in detail. The current literate-programming
                 paradigm is reviewed by looking at two sample literate
                 programs. A critique of literate programming as it is
                 currently used is presented, and methods for enhancing
                 the process are explored. A number of new facilities
                 are proposed, and restrictions on current
                 literate-programming practices are suggested. (11
                 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Alabama Univ., Tuscaloosa, AL, USA",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6110 (Systems analysis and programming)",
  CODEN =        "CPTRB",
  keywords =     "Coding software systems; Literate-programming
                 paradigm",
  thesaurus =    "Programming",
}

@Article{Denning:CACM-30-7-593,
  author =       "Peter J. Denning",
  title =        "Announcing Literate Programming",
  journal =      j-CACM,
  year =         "1987",
  volume =       "30",
  number =       "7",
  pages =        "593",
  month =        jul,
}

@Article{Fox:TB11-4-511-513,
  author =       "Jim Fox",
  title =        "{{Webless literate programming}}",
  journal =      j-TUGboat,
  year =         "1990",
  volume =       "11",
  number =       "4",
  pages =        "511--513",
  month =        Nov,
}

@Book{Fraser:RCC95,
  author =       "Chris W. Fraser and David R. Hanson",
  title =        "A Retargetable {C} Compiler: Design and
                 Implementation",
  publisher =    pub-BENCUM,
  address =      pub-BENCUM:adr,
  year =         "1995",
  ISBN =         "0-8053-1670-1",
  LCCN =         "QA76.73.C15F75 1995",
  note =         "From the authors' announcement: ``\ldots this book
                 is an example of a `literate program.' Like {\em
                 {\TeX}: The Program\/} by D. E. Knuth
                 (Addison-Wesley, 1986), this book is lcc's source
                 code and the prose that describes it. The code is
                 presented in the order that best suits understanding,
                 not in the order dictated by the C programming
                 language. The source code that appears on the
                 diskette is extracted automatically from the book's
                 text files. \ldots{} The distribution is available
                 via `anonymous' ftp from \verb=ftp.cs.princeton.edu=
                 \verb=(128.112.152.13)= in the directory
                 \verb=pub/lcc=. \ldots{} Additional information about
                 lcc and about our book is available on the WWW at URL
                 \verb=http://www.cs.princeton.edu/software/lcc=.''",
  pages =        "xv + 564",
  price =        "US\$55.95",
  acknowledgement = ack-nhfb,
  bibdate =      "Wed Feb 08 10:55:34 1995",
}

@Article{Guntermann:TB7-3-134-2,
  author =       "Klaus Guntermann and Joachim Schrod",
  title =        "{{\WEB\ adapted to C}}",
  journal =      j-TUGboat,
  year =         "1986",
  volume =       "7",
  number =       "3",
  pages =        "134--137",
  month =        Oct,
}

@InProceedings{Gurari:WLP91,
  author =       "E. M. Gurari and J. Wu",
  booktitle =    "1991 ACM Computer Science Conference: March 5--7,
                 1991, San Antonio Convention Center, San Antonio,
                 Texas: Proceedings: Preparing for the 21st Century",
  title =        "A {WYSIWYG} literate programming system (preliminary
                 report)",
  pages_whole =  "xxix + 711",
  pages =        "94--104",
  month =        mar,
  year =         "1991",
  publisher =    "ACM",
  address =      "New York, NY, USA",
  ISBN =         "0-89791-382-5",
  LCCN =         "QA75.5 .A137 1991",
  abstract =     "Conceptually, literate programming systems are
                 document preparation systems that are augmented with
                 features for writing programs. They offer features for
                 identifying the different components of the programs,
                 for highlighting the relations that exist between the
                 components, and for explaining the components and the
                 relations. The authors introduce a literate programming
                 system that is based on a hierarchical variation of
                 MacWrite. The system distinguishes code from prose by
                 the fonts that they are written in, uses boxes for
                 abstracting and structuring code, and employs ports for
                 generating different views of the code. (19 Refs.)",
  acknowledgement = ack-eg # " and " # ack-nhfb,
  affiliation =  "Dept. of Comput. and Inf. Sci., Ohio State Univ.,
                 Columbus, OH, USA",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6115 (Programming support); C6110 (Systems analysis
                 and programming)",
  conf_date =    "5--7 March 1991",
  conf_location = "San Antonio, TX, USA",
  keywords =     "Program writing; WYSIWYG; Literate programming
                 systems; Document preparation systems; Hierarchical
                 variation; MacWrite; Prose; Fonts; Boxes; Abstracting;
                 Structuring code; Ports",
  thesaurus =    "Programming; Programming environments; Software
                 tools",
}

@Book{Gurari:TLD94,
  author =       "Eitan M. Gurari",
  title =        "{\TeX} and {\LaTeX}: Drawing and Literate
                 Programming",
  publisher =    pub-MH,
  ISBN =         "0-07-025208-4",
  LCCN =         "Z253.4.T47G87, 686.2'2544536-dc20, 93-8603 CIP",
  year =         "1994",
  address =      pub-MH:adr,
  keywords =     "TeX (computer file); computerized typesetting;
                 mathematics printing -- computer programs",
  price =        "US\$34.95",
  series =       "McGraw-Hill programming tools for scientists and
                 engineers",
  bibdate =      "Fri Aug 19 00:24:55 1994",
  acknowledgement = ack-nhfb,
}

@Article{Hamilton:CACM-31-12-1376,
  author =       "Eric Hamilton",
  title =        "Literate Programming\emdash{}Expanding Generalized
                 Regular Expressions",
  journal =      j-CACM,
  year =         "1988",
  volume =       "31",
  number =       "12",
  pages =        "1376--1385",
  month =        dec,
}

@Article{Hanson:CACM-30-7-594,
  author =       "David R. Hanson",
  title =        "Literate Programming\emdash{}Printing Common Words",
  journal =      j-CACM,
  year =         "1987",
  volume =       "30",
  number =       "7",
  pages =        "594--599",
  month =        jul,
}

@Book{Holub:CDC90,
  author =       "Allen I. Holub",
  title =        "Compiler Design in {C}",
  publisher =    pub-PH,
  address =      pub-PH:adr,
  year =         "1990",
  note =         pub-PH # " Software Series, Editor: Brian W.
                 Kernighan.",
  ISBN =         "0-13-155045-4",
  LCCN =         "QA76.76.C65 H65 1990",
  pages =        "xviii + 924",
  bibdate =      "Wed Dec 15 09:13:20 1993",
}

@MastersThesis{Houser:LLP92,
  author =       "Christopher Driessen Houser",
  title =        "A literate {Lisp} programming environment",
  pages =        "viii + 93",
  school =       "Department of Computer Science, University of
                 California, Los Angeles",
  LCCN =         "LD 791.8 C6 H817 1992",
  address =      "Los Angeles, CA, USA",
  year =         "1992",
  acknowledgement = ack-nhfb,
  bibdate =      "Fri Aug 19 00:23:48 1994",
  keywords =     "dissertations, academic -- UCLA -- computer science",
  note =         "Typescript (photocopy).",
}

@Article{Hyman:COMPLANG-7-7-67,
  author =       "Marco S. Hyman",
  title =        "Literate {C++}",
  journal =      j-COMPLANG,
  year =         "1990",
  volume =       "7",
  number =       "7",
  pages =        "67--68, 70, 72, 74--77, 79",
  month =        jul,
  ISSN =         "0749-2839",
  abstract =     "The author discusses the application of literate
                 programming to object-oriented C++. He develops an Awk
                 preprocessor to store documentation along with source
                 code. The information can be extracted just before
                 compilation. (2 Refs.)",
  acknowledgement = ack-nhfb,
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6115 (Programming support); C6140D (High level
                 languages); C6150C (Compilers, interpreters and other
                 processors)",
  CODEN =        "CSAEE",
  keywords =     "Literate programming; Object-oriented C++; Awk
                 preprocessor; Store documentation; Source code;
                 Compilation",
  thesaurus =    "C language; C listings; Object-oriented programming;
                 Program processors; Software tools; System
                 documentation",
}

@Article{Jackson:CACM-30-12-1000,
  author =       "Michael A. Jackson",
  title =        "Literate Programming\emdash{}Processing Transactions",
  journal =      j-CACM,
  year =         "1987",
  volume =       "30",
  number =       "12",
  pages =        "1000--1010",
  month =        dec,
}

@Article{Kennedy:TB9-2-124-125,
  author =       "David Kennedy",
  title =        "{{\TeX\ adapted to \CWEB{}}}",
  journal =      j-TUGboat,
  year =         "1988",
  volume =       "9",
  number =       "2",
  pages =        "124--125",
  month =        Aug,
}

@Article{Knuth:CJ-27-2-97,
  author =       "Donald E. Knuth",
  title =        "Literate Programming",
  journal =      j-CJ,
  year =         "1984",
  volume =       "27",
  number =       "2",
  pages =        "97--111",
  month =        may,
  acknowledgement = ack-nhfb,
  bibdate =      "Wed Aug 24 17:14:45 MDT 1994",
  keywords =     "design; human factors; languages",
  review =       "ACM CR 8501-0018",
  subject =      "D.2.7 Software, SOFTWARE ENGINEERING, Distribution and
                 Maintenance, Documentation \\ I.7.1 Computing
                 Methodologies, TEXT PROCESSING, Text Editing, Languages
                 \\ H.1.2 Information Systems, MODELS AND PRINCIPLES,
                 User/Machine Systems, Human factors \\ D.3 Software,
                 PROGRAMMING LANGUAGES, Language Constructs \\ I.7.1
                 Computing Methodologies, TEXT PROCESSING, Text Editing,
                 WEB",
}

@Book{Knuth:CSS93,
  author =       "Donald E. Knuth and Silvio Levy",
  title =        "The {CWEB} System of Structured Documentation, Version
                 3.0",
  publisher =    pub-AW,
  year =         "1993",
  ISBN =         "0-201-57569-8",
  LCCN =         "QA76.9.D3 K6 1993",
  address =      pub-AW:adr,
  acknowledgement = ack-nhfb,
  bibdate =      "Thu Dec 16 09:04:49 1993",
}

@Book{Knuth:ct-b,
  author =       "Donald E. Knuth",
  title =        "{\TeX}: The Program",
  publisher =    pub-AW,
  year =         "{\noopsort{1986b}}1986",
  volume =       "B",
  series =       "Computers \& Typesetting",
  address =      pub-AW:adr,
  ISBN =         "0-201-13437-3",
  bibdate =      "Wed Aug 24 17:44:17 1994",
}

@Book{Knuth:ct-d,
  author =       "Donald E. Knuth",
  title =        "{\MF}: The Program",
  publisher =    pub-AW,
  year =         "{\noopsort{1986d}}1986",
  volume =       "D",
  series =       "Computers \& Typesetting",
  address =      pub-AW:adr,
  ISBN =         "0-201-13438-1",
}

@Book{Knuth:LP92,
  author =       "Donald E. Knuth",
  title =        "Literate Programming",
  publisher =    pub-SUCSLI,
  address =      pub-SUCSLI:adr,
  series =       "CSLI Lecture Notes Number 27",
  keywords =     "electronic digital computers -- programming",
  year =         "1992",
  ISBN =         "0-937073-80-6 (paper), 0-937073-81-4 (cloth)",
  LCCN =         "QA76.6.K644",
  pages =        "xv + 368",
  acknowledgement = ack-nhfb,
  bibdate =      "Fri Aug 19 00:24:20 1994",
}

@Article{Knuth:TB12-2-313,
  author =       "Donald Knuth",
  title =        "{{Fixed-point glue setting: Errata}}",
  journal =      j-TUGboat,
  year =         "1991",
  volume =       "12",
  number =       "2",
  pages =        "313",
  month =        Jun,
}

@Article{Knuth:TB3-1-10,
  author =       "Donald Knuth",
  title =        "{{Fixed-point glue setting\emdash{}an example of {\tt
                 WEB}}}",
  journal =      j-TUGboat,
  year =         "1982",
  volume =       "3",
  number =       "1",
  pages =        "10",
  month =        Mar,
}

@TechReport{Knuth:web83,
  author =       "Donald E. Knuth",
  title =        "The {\WEB{}} System of Structured Documentation",
  institution =  "Stanford University",
  year =         "1983",
  type =         "Stanford Computer Science Report",
  number =       "{CS}980",
  address =      "Stanford, {CA}",
  month =        sep,
}

@Book{Knuth:SGB93,
  author =       "Donald E. Knuth",
  title =        "The {Stanford} {GraphBase}: {A} Platform for
                 Combinatorial Computing",
  publisher =    pub-ACM,
  year =         "1993",
  address =      pub-ACM:adr,
  price =        "US\$45.25",
  note =         "[From the publisher]: \ldots{} represents Knuth's
                 final preparation for Volume 4 of {\em The Art of
                 Computer Programming}. Through the use of about 30
                 examples, the book demonstrates the art of literate
                 programming. Each example is a programmatic essay, a
                 short story that can be read by human beings, as well
                 as read and interpreted by machines. In these
                 essays/programs, Knuth makes new contributions to the
                 exposition of several important algorithms and data
                 structures.",
  pages =        "vii + 576",
  ISBN =         "0-201-54275-7",
  LCCN =         "QA164 .K6 1993",
  acknowledgement = ack-pb,
  bibdate =      "Wed Aug 24 17:44:04 1994",
}

@Article{Knuth:MLP94,
  author =       "D. E. Knuth",
  title =        "Mini-indexes for literate programs",
  journal =      "Software--Concepts and Tools",
  volume =       "15",
  number =       "1",
  pages =        "2--11",
  month =        "",
  year =         "1994",
  ISSN =         "0945-8115",
  abstract =     "The author describes how to implement a documentation
                 technique that helps readers to understand large
                 programs or collections of programs, by providing local
                 indexes to all identifiers that are visible on every
                 two-page spread. A detailed example is given for a
                 program that finds all Hamiltonian circuits in an
                 undirected graph. (11 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Dept. of Comput. Sci., Stanford Univ., CA, USA",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6110B (Software engineering techniques); C1160
                 (Combinatorial mathematics)",
  CODEN =        "SCOTE",
  keywords =     "Mini-indexes; Literate programs; Documentation
                 technique; Large programs; Hamiltonian circuits;
                 Undirected graph; WEB; CWEB; CTWILL; Hypertext",
  thesaurus =    "Graph theory; Indexing; Programming; System
                 documentation",
}

@InProceedings{Kortright:CCT92,
  author =       "E. Kortright and D. Cordes",
  booktitle =    "Proceedings / IEEE Southeastcon '92, April 12--15, 1992,
                 Birmingham, Alabama",
  title =        "Cnest and Cscope: Tools for the literate programming
                 environment",
  pages_whole =  "lii + 846",
  pages =        "604--609 (vol. 2)",
  month =        apr,
  year =         "1992",
  publisher =    "IEEE",
  address =      "New York, NY, USA",
  ISBN =         "0-7803-0494-2",
  LCCN =         "TK5 .I32 1992 v.1-2",
  abstract =     "The authors describe two tools for the literate
                 programming language Cweb: Cnest and Cscope. Cweb is a
                 Web programming environment for the programming
                 language C using the typesetting program T/sub E/X. An
                 overview of Web is given. Cnest and Cscope operate
                 within the EMACS editing environment and provide
                 support both for the program developer and for the
                 maintenance programmer. Their implementations are
                 discussed in detail. (6 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Dept. of Comput. Sci., Alabama Univ., Tuscaloosa, AL,
                 USA",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6115 (Programming support); C6140D (High level
                 languages)",
  conf_date =    "12--15 April 1992",
  conf_location = "Birmingham, AL, USA",
  conf_sponsor = "IEEE",
  keywords =     "TEX; Literate programming environment; Cweb; Cnest;
                 Cscope; Web programming environment; C; Typesetting
                 program; EMACS editing environment; Program developer;
                 Maintenance programmer",
  note =         "2 vol.",
  thesaurus =    "C language; Programming environments; Software tools;
                 Text editing",
}

@Article{Krommes:fortran-web,
  author =       "John Krommes",
  title =        "{\FWEB} ({Krommes}) vs. {\FWEB} ({Avenarius} and
                 {Oppermann})",
  journal =      j-TEXHAX,
  year =         "1990",
  volume =       "90",
  number =       "19",
  month =        feb,
}

@Article{Lecarme:j-ACM-COMPREV-26-1-75,
  author =       "O. Lecarme",
  title =        "Literate Programming",
  journal =      j-ACM-COMPREV,
  volume =       "26",
  number =       "1",
  year =         "1985",
  pages =        "75",
  acknowledgement = ack-eg,
}

@Article{Levy:TB8-1-12,
  author =       "Silvio Levy",
  title =        "{{\WEB{} adapted to C, another approach}}",
  journal =      j-TUGboat,
  year =         "1987",
  volume =       "8",
  number =       "1",
  pages =        "12--13",
  month =        Apr,
}

@Article{Levy:j-COMPLANG-10-1-67,
  author =       "Silvio Levy",
  title =        "Literate Programming and {Cweb}",
  journal =      j-COMPLANG,
  year =         "1993",
  volume =       "10",
  number =       "1",
  pages =        "67--68, 70",
  month =        jan,
  bibdate =      "Thu Dec 3 09:11:03 1992",
}

@Article{Lindsay:CACM-32-6-740,
  author =       "Donald C. Lindsay",
  title =        "Literate Programming\emdash{}{A} File Difference
                 Program",
  journal =      j-CACM,
  year =         "1989",
  volume =       "32",
  number =       "6",
  pages =        "740--755",
  month =        jun,
}

@Article{Lins:JSP-10-1-60,
  author =       "Charles Lins",
  title =        "A First Look at Literate Programming",
  journal =      j-SP,
  year =         "1989",
  volume =       "10",
  number =       "1",
  pages =        "60--62",
  ISSN =         "0935-1183",
  abstract =     "The author provides background material about literate
                 programming and why this concept is important. He gives
                 the background material on the nature and of the
                 problem and traditional solutions, and a brief overview
                 of literate programming and how it addresses the
                 problem. He examines the WEB system, a literate
                 programming tool, and provides a commentary on some
                 literate programming issues. (7 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Apple Comput. Inc., Cupertino, CA, USA",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6110 (Systems analysis and programming)",
  CODEN =        "STPGE",
  keywords =     "Literate programming",
  thesaurus =    "Programming; System documentation",
}

@Article{Lins:JSP-10-2-107,
  author =       "Charles Lins",
  title =        "An Introduction to Literate Programming",
  journal =      j-SP,
  year =         "1989",
  volume =       "10",
  number =       "2",
  pages =        "107--112",
  ISSN =         "0935-1183",
  abstract =     "The author discusses D. E. Knuth's concept of literate
                 programming. He covers the particulars of the literate
                 programming style as described by Knuth in Computers
                 and Typesetting, vol. B, {\TeX}, The Program (1986).
                 He concludes with a sample literate program-using
                 Modula-2 as an alternative to Pascal-describing the
                 interface to the relation abstract data type from the
                 domain of relational database theory. (5 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Apple Comput. Inc., Cupertino, CA, USA",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6110 (Systems analysis and programming)",
  CODEN =        "STPGE",
  keywords =     "Structured programming; Literate programming;
                 Programming style; Modula-2; Relation abstract data
                 type; Relational database theory",
  thesaurus =    "Structured programming",
}

@Article{Mittelbach:j-TUGboat-9-3-298,
  author =       "Frank Mittelbach",
  title =        "A New Implementation of the Array- and Tabular-
                 Environments",
  journal =      j-TUGboat,
  volume =       "9",
  number =       "3",
  year =         "1988",
  pages =        "298--314",
  acknowledgement = ack-eg,
}

@PhdThesis{Motl:LPE90,
  author =       "Mark B. Motl",
  title =        "A Literate Programming Environment Based on an
                 Extensible Editor",
  school =       "Texas A\&M University",
  year =         "1990",
  address =      "College Station, {TX}",
  month =        dec,
  acknowledgement = ack-bc,
  bibdate =      "Mon Oct 4 17:21:07 1993",
}

@TechReport{Motl:UMG91,
  author =       "Mark B. Motl and Bart Childs",
  title =        "A User's Manual for {GNU} {Emacs}' Web-mode",
  institution =  "Texas A\&M University",
  year =         "1991",
  type =         "\verb|ftp.cs.tamu.edu:/pub/tex-web/web/DOCs|",
  address =      "College Station, {TX}",
  acknowledgement = ack-bc,
  bibdate =      "Wed Aug 24 17:50:49 1994",
}

@Article{Naeve:HMT91,
  author =       "P. Naeve and D. Trenkler and H. P. Wolf",
  title =        "How to make the teaching of statistics roar. Some
                 thoughts on computer based experiments",
  journal =      "Computational Statistics Quarterly",
  volume =       "6",
  number =       "4",
  pages =        "325--353",
  month =        "",
  year =         "1991",
  abstract =     "The application of computers in teaching statistics
                 offers new possibilities. Two kinds of experiments are
                 introduced. Firstly, experiments to demonstrate
                 statistical concepts by exploiting the graphical
                 capabilities of computers. Secondly, experiments which
                 may help teach data analysis strategies. Examples for
                 both kinds are given. First steps towards experiment
                 construction are developed. The usefulness of Literate
                 APL is demonstrated too. (13 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Dept. of Econ., Bielefeld Univ., Germany",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C7810C (Computer-aided instruction); C7310
                 (Mathematics)",
  CODEN =        "CSQUE",
  keywords =     "Computer based experiments; Computers; Teaching
                 statistics; Statistical concepts; Graphical
                 capabilities; Data analysis; Experiment construction;
                 Literate APL",
  thesaurus =    "Computer aided instruction; Statistical analysis",
}

@InProceedings{Naeve:APT93,
  author =       "P. Naeve and B. Strohmeier and P. Wolf",
  booktitle =    "International Conference on APL",
  title =        "{APL} programming without tears to it is time for a
                 change",
  journal =      "APL Quote Quad",
  volume =       "24",
  number =       "1",
  pages =        "185--189",
  month =        aug,
  year =         "1993",
  ISSN =         "0163-6006",
  abstract =     "To overcome the unreadability of traditional APL-code,
                 D. E. Knuth's (1984) idea of literate programming is
                 adapted to APL. The APL2WEB system of structured
                 documentation is introduced as a new way of
                 APL-programming. An example is given to highlight the
                 merits of this combination. (8 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Fakultat fur Wirtschaftswissenschaften, Bielefeld
                 Univ., Germany",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6110 (Systems analysis and programming); C6140D
                 (High level languages); C0310F (Software development
                 management)",
  CODEN =        "APLQD",
  conf_date =    "15--19 Aug. 1993",
  conf_location = "Toronto, Ont., Canada",
  conf_sponsor = "ACM",
  keywords =     "APL programming; Unreadability; Traditional APL-code;
                 Knuth; Literate programming; APL2WEB system; Structured
                 documentation",
  thesaurus =    "APL; Programming; System documentation",
}

@Article{Oman:CACM-33-5-506,
  author =       "Paul W. Oman and Curtis Cook",
  title =        "Typographic Style is More than Cosmetic",
  journal =      j-CACM,
  year =         "1990",
  volume =       "33",
  number =       "5",
  pages =        "506--520",
  month =        may,
}

@Article{Oman:IEEESOFTWARE-7-1-39,
  author =       "Paul W. Oman and Curtis Cook",
  title =        "The Book Paradigm for Improved Maintenance",
  journal =      j-IEEE-SOFTWARE,
  year =         "1990",
  volume =       "7",
  number =       "1",
  pages =        "39--45",
  month =        jan,
}

@PhdThesis{Oman:oman88a,
  author =       "Paul W. Oman",
  title =        "A Taxonomic Analysis of Typographic Programming
                 Style",
  school =       "Oregon State University",
  year =         "1988",
  address =      "Corvallis, {OR}",
  month =        dec,
}

@TechReport{Oman:OSUTR-88-60-20,
  author =       "Paul W. Oman and Curtis Cook",
  title =        "A Programming Style Taxonomy",
  institution =  "Oregon State University",
  year =         "1988",
  type =         "Technical Report",
  number =       "88-60-20",
  address =      "Corvallis, {OR}",
}

@Article{Oman:SIGPLAN-23-12-69,
  author =       "P. W. Oman and C. R. Cook",
  title =        "A paradigm for programming style research",
  journal =      j-SIGPLAN,
  volume =       "23",
  number =       "12",
  pages =        "69--78",
  month =        dec,
  year =         "1988",
  ISSN =         "0362-1340",
  acknowledgement = ack-nhfb,
  bibdate =      "Sat Aug 13 17:16:20 MDT 1994",
  keywords =     "measurement; experimentation; performance; design;
                 languages",
  subject =      "D.1.m Software, PROGRAMMING TECHNIQUES,
                 Miscellaneous",
}

@InProceedings{Pappas:proc-ada-tech90-500,
  author =       "T. L. Pappas",
  title =        "Literate Programming for Reusability: {A} Queue
                 Package Example",
  booktitle =    "Proceedings of the Eighth Annual Conference on {Ada}
                 Technology",
  year =         "1990",
  pages_whole =  "xiv + 669",
  pages =        "500--514",
  organization = "ANCOST, Inc. (Sponsor)",
  address =      "Atlanta, Georgia, USA",
  month =        mar,
  abstract =     "Writing reusable software components requires more
                 than just following coding guidelines. It also requires
                 that potential clients of a component can easily
                 understand the documentation associated with the
                 component. Literate programming, as suggested by D.
                 Knuth (1983), is concerned with combining code and
                 documentation in a form that is more easily read by
                 humans, rather than by compilers. The paper illustrates
                 the benefits of a literate programming approach to
                 writing reusable software by presenting a generic
                 package written in a literate programming style. ADA
                 WEB, a language for literate programming that combines
                 Ada and TEX, was used to prepare the paper. (14
                 Refs.)",
  review =       "This paper begins with a set of guidelines for writing
                 and documenting reusable Ada software. {\tt AdaWeb}, a
                 literate programming system combining Ada and {\TeX} is
                 described. A sample {\tt AdaWeb} package, {\em Bounded
                 Generic Queue Package}, is provided. Features of {\tt
                 AdaWeb} are explained as they are used in the literate
                 program.",
  acknowledgement = ack-nhfb,
  affiliation =  "Intermetrics Inc., Warminster, PA, USA",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6110B (Software engineering techniques)",
  conf_date =    "5--8 March 1990",
  conf_location = "Atlanta, GA, USA",
  conf_sponsor = "Ancost",
  keywords =     "Queue package; Software components; Documentation;
                 Literate programming; Generic package; ADA WEB; Ada;
                 TEX",
  thesaurus =    "Ada; Programming; Software reusability; System
                 documentation",
}

@InCollection{Pepper:LPD91,
  author =       "P. Pepper",
  title =        "Literate program derivation: a case study",
  crossref =     "Broy:MPS91",
  pages =        "101--124",
  year =         "1991",
  abstract =     "`Literate programming' is a notion that has been
                 introduced by D. E. Knuth (1984), as a means for
                 improving the art of programming by amalgamating
                 explanatory text with the program proper. The author
                 combines the principal ideas of literate programming
                 with the concepts of formal program development, based
                 on algebraic specifications and transformations. This
                 experiment is performed using the sublinear
                 string-searching algorithm of R. S. Boyer and J. S. Moore
                 (1977) as an illustrating example. (17 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Inst. fur Angewandte Inf., Tech. Univ., Berlin,
                 Germany",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6110B (Software engineering techniques); C5260B
                 (Computer vision and picture processing); C1250
                 (Pattern recognition); C4240 (Programming and algorithm
                 theory)",
  keywords =     "Case study; Explanatory text; Literate programming;
                 Formal program development; Algebraic specifications;
                 Transformations; Sublinear string-searching algorithm",
  thesaurus =    "Computerised pattern recognition; Formal
                 specification; Programming",
}

@Book{PeytonJones:IFL92,
  author =       "Simon L. {Peyton Jones} and David R. Lester",
  title =        "Implementing functional languages",
  publisher =    pub-PH,
  year =         "1992",
  address =      pub-PH:adr,
  ISBN =         "0-13-721952-0",
  price =        "US\$42.00",
  acknowledgement = ack-dl,
  bibdate =      "Thu Aug 26 10:51:16 1993",
  note =         "Presents literate programs in {\TeX} and Miranda.",
}

@Book{Plauger:SCL92,
  author =       "P. J. Plauger",
  title =        "The {Standard C} Library",
  publisher =    pub-PH,
  address =      pub-PH:adr,
  year =         "1992",
  ISBN =         "0-13-838012-0",
  LCCN =         "QA76.73.C15 P563 1991",
  pages =        "xiv + 498",
  bibdate =      "Wed Dec 15 10:40:47 1993",
}

@Article{Ramsdell:TEXHAX-88-39,
  author =       "J. D. Ramsdell",
  title =        "{Scheme\TeX}\emdash Simple support for literate
                 programming in {Lisp}",
  journal =      j-TEXHAX,
  year =         "1988",
  volume =       "88",
  number =       "39",
  month =        apr,
  bibdate =      "Wed Aug 24 17:43:40 1994",
}

@Article{Ramsey:CACM-32-9-1051,
  author =       "Norman Ramsey",
  title =        "Weaving a Language-Independent {{\WEB}}",
  journal =      j-CACM,
  year =         "1989",
  volume =       "32",
  number =       "9",
  pages =        "1051--1055",
  month =        sep,
}

@Article{Ramsey:j-SPE-21-7-677,
  author =       "Norman Ramsey and Carla Marceau",
  title =        "Literate Programming on a Team Project",
  journal =      j-SPE,
  year =         "1991",
  volume =       "21",
  number =       "7",
  pages =        "677--683",
  month =        jul,
  ISSN =         "0038-0644",
  abstract =     "Literate programming on a team project was used to
                 write a 33000 line program for the Synthesizer
                 Generator. The program, Penelope, was written using
                 WEB, a tool designed for writing literate programs.
                 Unlike other WEB programs, many of which have been
                 written by WEB's developer or by individuals, Penelope
                 was not intended to be published. The authors used WEB
                 in the hope that both their team and its final product
                 would benefit from the advantages often attributed to
                 literate programming. The WEB source served as good
                 internal documentation throughout development and
                 maintenance, and it continues to document Penelope's
                 design and implementation. This experience also
                 uncovered a number of problems with WEB. (33 Refs.)",
  acknowledgement = ack-bnb # " and " # ack-nhfb,
  affiliation =  "Odyssey Res. Associates, Ithaca, NY, USA",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C7820 (Humanities); C6110 (Systems analysis and
                 programming); C7106 (Word processing); C6130D (Document
                 processing techniques)",
  CODEN =        "SPEXB",
  keywords =     "Literature programming; Team project; Synthesizer
                 Generator; Penelope; WEB; Literate programs; Literate
                 programming; Internal documentation",
  thesaurus =    "Linguistics; Literature; Programming; Word
                 processing",
}

@TechReport{Ramsey:LPT92,
  author =       "Norman Ramsey",
  title =        "Literate-Programming Tools Need Not Be Complex",
  institution =  "Department of Computer Science, Princeton University",
  year =         "1992",
  number =       "CS-TR-351-91",
  keywords =     "literate programming, readability, programming
                 languages",
  month =        aug,
  note =         "Submitted to {\em IEEE Software}.",
  type =         "Report at \verb|ftp.cs.princeton.edu| in
                 \verb|/reports/1991/351.ps.Z|. Software at
                 \verb|ftp.cs.princeton.edu| in \verb|/pub/noweb.shar.Z|
                 and at \verb|bellcore.com| in
                 \verb|/pub/norman/noweb.shar.Z|.",
  bibdate =      "Tue Oct 12 10:28:45 1993",
  acknowledgement = ack-bc # " and " # ack-nr,
}

@Article{Ramsey:j-IEEE-SOFTWARE-11-5-97,
  author =       "Norman Ramsey",
  title =        "Literate Programming Simplified",
  journal =      j-IEEE-SOFTWARE,
  year =         "1994",
  volume =       "11",
  number =       "5",
  pages =        "97--105",
  month =        sep,
  acknowledgement = ack-nhfb,
  bibdate =      "Wed Sep 07 20:28:11 1994",
}

@Article{Reenskaug:j-SIGPLAN-24-10-337,
  author =       "Trygve Reenskaug and Anne Lise Skaar",
  title =        "An environment for literate {Smalltalk} programming",
  journal =      j-SIGPLAN,
  volume =       "24",
  number =       "10",
  pages =        "337--345",
  month =        oct,
  year =         "1989",
  ISSN =         "0362-1340",
  acknowledgement = ack-nhfb,
  abstract =     "The programming environment described in this paper is
                 an adaptation of Donald Knuth's concept of literate
                 programming, applied to Smalltalk programs. The
                 environment provides a multi-media document production
                 system including media for Smalltalk class and method
                 definitions.\par There are two outputs from the system.
                 The first output is a document which contains general
                 descriptions and discussions intermixed with precise
                 definitions of program fragments, test inputs and test
                 results. The second output consists of compiled
                 Smalltalk programs installed and ready for
                 execution.\par The main idea was to produce program
                 documentation that was just as interesting and
                 fascinating to read as ordinary literature. Our
                 experience showed an added benefit, namely that the
                 literate programming environment was an active aid in
                 the problem solving process. The simultaneous
                 programming and documentation lead to significantly
                 improved quality of both programs and documentation.",
  bibdate =      "Wed Aug 31 23:24:32 1994",
  classification = "C6115 (Programming support)",
  CODEN =        "SINOD",
  conf_date =    "1--6 Oct. 1989",
  conf_location = "New Orleans, LA, USA",
  conf_sponsor = "ACM",
  keywords =     "design; documentation; languages; reliability; Class
                 definitions; Programming environment; Literate
                 programming; Smalltalk programs; Multi-media document
                 production system; Method definitions; Program
                 fragments; Test inputs; Test results; Compiled
                 Smalltalk programs; Program documentation; Problem
                 solving process",
  subject =      "D.2.6 Software, SOFTWARE ENGINEERING, Programming
                 Environments \\ D.3.2 Software, PROGRAMMING LANGUAGES,
                 Language Classifications, Smalltalk-80 \\ D.2.7
                 Software, SOFTWARE ENGINEERING, Distribution and
                 Maintenance, Documentation \\ D.2.5 Software, SOFTWARE
                 ENGINEERING, Testing and Debugging \\ D.1.0 Software,
                 PROGRAMMING TECHNIQUES, General \\ D.2.2 Software,
                 SOFTWARE ENGINEERING, Tools and Techniques, User
                 interfaces",
  thesaurus =    "Object-oriented programming; Programming environments;
                 Smalltalk; System documentation",
}

@Article{Sametinger:j-OOP-4-8-24,
  author =       "J. Sametinger",
  title =        "A Hypertext System for Literate {C}++ Programming",
  journal =      j-OOP,
  volume =       "4",
  number =       "8",
  year =         "1992",
  pages =        "24--29",
  acknowledgement = ack-eg # " and " # ack-nhfb,
  ISSN =         "0896-8438",
  abstract =     "Programs are written to be executed by computers
                 rather than read by humans. This complicates program
                 comprehension, which plays a major role in software
                 maintenance. Literate programming is an approach to
                 improve program understanding by regarding programs as
                 works of literature. The authors present a tool that
                 supports literate programming in C++, based on a
                 hypertext system. (18 Refs.)",
  affiliation =  "Inst. fur Wirtschaftsinf., Johannes Kepler Univ. of
                 Linz, Austria",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6110B (Software engineering techniques); C6140D
                 (High level languages); C6160Z (Other DBMS)",
  CODEN =        "JOOPE",
  keywords =     "Literate C++ programming; Program comprehension;
                 Software maintenance; Program understanding; Hypertext
                 system",
  thesaurus =    "C language; Hypermedia; Programming; Software
                 maintenance",
}

@InProceedings{Sennett:DCA92,
  author =       "C. T. Sennett",
  booktitle =    "5th Refinement Workshop: Proceedings of the 5th Refinement
                 Workshop, organized by BCS-FACS, London, 8--10 January 1992",
  title =        "Demonstrating the compliance of Ada programs with {Z}
                 specifications",
  pages_whole =  "viii + 378",
  pages =        "70--87",
  month =        jan,
  year =         "1992",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  ISBN =         "3-540-19752-4",
  LCCN =         "QA76.76.D47 R44 199",
  abstract =     "The paper describes a notation for presenting a claim
                 that a program written in Ada satisfies a specification
                 written in Z. The notation has both formal and informal
                 elements: the formal elements follow the style of the
                 refinement calculus, while the informal elements follow
                 Knuth's (1984) literate programming style. The
                 combination of formal and informal elements allows for
                 selective verification, an important requirement for
                 practical use of formal refinement. (12 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Defence Res. Agency, Malvern, UK",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6110B (Software engineering techniques); C4210
                 (Formal logic)",
  conf_date =    "8--10 Jan. 1992",
  conf_location = "London, UK",
  editor =       "Cliff B. Jones and Roger C. Shaw and Tim Denvir",
  keywords =     "Ada programs; Z specifications; Refinement calculus;
                 Literate programming; Selective verification; Formal
                 refinement",
  language =     "English",
  pub_country =  "Germany",
  thesaurus =    "Ada; Formal specification; Formal verification;
                 Specification languages",
}

@Article{Sewell:TB8-2-118,
  author =       "E. Wayne Sewell",
  title =        "{{How to {\tt MANGLE} your software: the \WEB{} system
                 for Modula-2}}",
  journal =      j-TUGboat,
  year =         "1987",
  volume =       "8",
  number =       "2",
  pages =        "118--122",
  month =        Jul,
}

@Article{Sewell:TB8-2-123,
  author =       "E. Wayne Sewell",
  title =        "{{The {\tt SCANTEX} processor}}",
  journal =      j-TUGboat,
  year =         "1987",
  volume =       "8",
  number =       "2",
  pages =        "123--128",
  month =        Jul,
}

@Book{Sewell:WPL89,
  author =       "E. Wayne Sewell",
  title =        "Weaving a Program: Literate Programming in {\WEB}",
  publisher =    pub-VNR,
  address =      pub-VNR:adr,
  keywords =     "web (computer program language)",
  pages =        "xx + 556",
  year =         "1989",
  ISBN =         "0-442-31946-0",
  LCCN =         "QA76.73.W24 S491 1989",
  bibdate =      "Fri Aug 19 00:20:22 1994",
}

@Article{Shum:SEJ-8-3-113,
  author =       "Stephen Shum and Curtis Cook",
  title =        "{AOPS}: an Abstraction-Oriented Programming System for
                 Literate Programming",
  journal =      j-SEJ,
  year =         "1993",
  volume =       "8",
  number =       "3",
  pages =        "113--120",
  month =        may,
  acknowledgement = ack-ma,
}

@Article{Smith:ABL91,
  author =       "L. M. C. Smith and M. H. Samadzadeh",
  title =        "An annotated bibliography of literate programming",
  journal =      j-SIGPLAN,
  volume =       "26",
  number =       "1",
  pages =        "14--20",
  month =        jan,
  year =         "1991",
  ISSN =         "0362-1340",
  abstract =     "Although literate programming can be considered a
                 programming style, it would better be categorized asa
                 new programming paradigm. The entries in this
                 bibliography illustrate the recent growth of research
                 and interest in the area of literate programming. (32
                 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Dept. of Comput. Sci., Oklahoma State Univ.,
                 Stillwater, OK, USA",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6110 (Systems analysis and programming)",
  CODEN =        "SINOD",
  keywords =     "Literate programming; Programming style; Programming
                 paradigm; Bibliography",
  thesaurus =    "Programming",
}

@Article{Smith:SP-13-1-35,
  author =       "Lisa M. Smith and Mansur H. Samadzadeh",
  title =        "Measuring Complexity and Stability of {WEB} programs",
  journal =      j-SP,
  year =         "1992",
  volume =       "13",
  number =       "1",
  pages =        "35--50",
  acknowledgement = ack-pt # " and " # ack-nhfb,
  ISSN =         "0935-1183",
  abstract =     "Software maintenance engineers spend at least half of
                 their time trying to understand the system they are to
                 modify. This is due partially to the fact that often
                 the only documentation available is the source code
                 itself. The literate programming paradigm provides the
                 incentive and the capability to produce high quality
                 code and documentation simultaneously. The goal is to
                 create `works of literature' which have all the extras
                 (table of contents, cross references, and indexes) to
                 help readers to comprehend the programs quickly and
                 thoroughly. The purpose of this research is to explore
                 the viability of application of the measurements of
                 software complexity and stability of traditionally
                 developed code to literature programs. A literature
                 program, the WEBmeter, was developed to collect some of
                 the well-known metrics, originally defined for
                 conventional software, for literature programs. Other
                 design and stability metrics were manually extracted
                 from the TANGLEd version of the input WEB programs.
                 Some observations about ten programs that were
                 subjected to the metrics/stability analysis are
                 included. (37 Refs.)",
  affiliation =  "Dept. of Comput. Sci., Oklahama State Univ.,
                 Stillwater, OK, USA",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6110B (Software engineering techniques); C0310F
                 (Software development management)",
  CODEN =        "STPGE",
  keywords =     "Complexity measurement; Software maintenance;
                 Stability; WEB programs; Literate programming paradigm;
                 Documentation; Cross references; Indexes; Software
                 complexity; WEBmeter; Metrics",
  thesaurus =    "Software maintenance; Software metrics; Structured
                 programming",
}

@InProceedings{Snelting:PTS90,
  author =       "G. Snelting and C. Thies",
  booktitle =    "Toulouse '90. Third International Workshop. Software
                 Engineering and its Applications Proceedings",
  title =        "Programming tools for the Suprenum supercomputer",
  pages_whole =  "1029",
  pages =        "951--963 (vol. 2)",
  month =        dec,
  year =         "1990",
  publisher =    "EC2",
  address =      "Nanterre, France",
  abstract =     "Programming tools for the Suprenum supercomputer have
                 been developed. The programming environment comprises a
                 context-sensitive hybrid editor, an interactive
                 interpreter and a literate programming system. The
                 editor can be used as a text editor as well as a
                 structure editor; both modes may be mixed freely. It
                 guarantees immediate recognition of syntactic and
                 semantic errors, but does not insist on immediate error
                 correction. The interpreter can be used to execute and
                 debug incomplete program fragments. The literate
                 programming system offers documentation support in the
                 style of WEB. The authors describe the main features of
                 the tools and demonstrate how they support the
                 construction and documentation of programs written in
                 extended FORTRAN8x, the programming language for the
                 massively parallel Suprenum machine. (7 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Tech. Univ., Damstadt, Praktische Inf., Germany",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6110P (Parallel programming); C5440 (Multiprocessor
                 systems and techniques); C6115 (Programming support);
                 C6130 (Data handling techniques)",
  conf_date =    "3--7 Dec. 1990",
  conf_location = "Toulouse, France",
  conf_sponsor = "CIGREF; SEE; Syntec-Informatique",
  keywords =     "Suprenum supercomputer; Programming environment;
                 Context-sensitive hybrid editor; Interactive
                 interpreter; Literate programming system; Text editor;
                 Structure editor; Semantic errors; Error correction;
                 Debug; Documentation support; WEB; Extended FORTRAN8x;
                 Massively parallel Suprenum machine",
  note =         "2 vol.",
  thesaurus =    "Parallel machines; Parallel programming; Program
                 interpreters; Programming environments; Software tools;
                 Text editing",
}

@Book{Spivak:LTW91,
  author =       "Michael D. Spivak",
  title =        "The {\LAMSTeX} Wizard's Manual",
  publisher =    pub-TEXPLORATOR,
  address =      pub-TEXPLORATOR:adr,
  year =         "1991",
}

@Article{Thimbleby:CJ-29-3-201,
  author =       "Harold Thimbleby",
  title =        "Experiences of `Literate Programming' using {{\tt
                 cweb}} (a variant of {Knuth}'s {\WEB{}})",
  journal =      j-CJ,
  year =         "1986",
  volume =       "29",
  number =       "3",
  pages =        "201--211",
  month =        jun,
}

@TechReport{Thimbleby:cwebman,
  author =       "Harold W. Thimbleby",
  title =        "Literate Programming in {C}",
  institution =  "University of York",
  address =      "Department of Computer Science, University of York,
                 Heslington, York YO1 5DD, England",
  year =         "1984",
  abstract =     "{\bf Cweb} is a system of structured documentation
                 based of Knuth's {\tt WEB}. The philosophy behind both
                 {\bf cweb} and {\tt WEB} is that an experienced
                 programmer, who wants to provide the best possible
                 documentation of his or her software products, needs
                 two things simultaneously: a language for formatting
                 and a language for programming. When both are
                 appropriately combined we obtain a system much more
                 useful than either language separately. {\bf Cweb}
                 combines {\bf C} source with ({\bf di}){\bf troff} (or
                 {\bf nroff}) documentation (whereas {\tt WEB} operates
                 with Pascal and \TeX). The full facilities of {\bf C}
                 and {\bf troff} are available to the user.\par {\bf
                 Cweb} operates effectively with existing Unix text and
                 program development tools, such as {\bf make}, {\bf
                 tbl}, {\bf eqn}. If speed is important, {\bf cweb} has
                 a built-in formatter which is much faster (and less
                 resource consuming) the {\bf troff} for drafting or
                 using with a lineprinter.",
}

@Article{Tung:JSP-10-2-113,
  author =       "{Sho-Huan} Tung",
  title =        "A Structured Method for Literate Programming",
  journal =      j-SP,
  year =         "1989",
  volume =       "10",
  number =       "2",
  pages =        "113--120",
  ISSN =         "0935-1183",
  abstract =     "In order to make computer programs easier to
                 comprehend, the methods for program development and
                 documentation need to be enhanced beyond their
                 conventional treatment. Literate programming is an
                 approach to programming that emphasizes improving the
                 readability of computer programs. The paper describes a
                 structured method for literate programming. HSD
                 (Hierarchical Structured Document) is a tool that
                 supports automatic code and document generation from a
                 hierarchically structured document description. An
                 example is given to illustrate the use of HSD. The ways
                 in which empirical studies on programmers' behavior
                 influenced the design of HSD and some directions for
                 future research are addressed. (18 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Dept. of Comput. Sci., Indiana Univ., Bloomington, IN,
                 USA",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6110 (Systems analysis and programming)",
  CODEN =        "STPGE",
  keywords =     "Programmer behaviour; Literate programming; Program
                 development; Documentation; Readability; HSD; Document
                 description; Empirical studies",
  thesaurus =    "Structured programming; System documentation",
}

@Article{vanAmmers:LPV90,
  author =       "E. W. van Ammers",
  title =        "Literate programming with {VAMP}",
  journal =      "Informatie",
  volume =       "32",
  number =       "4",
  pages =        "380--388",
  month =        "",
  year =         "1990",
  ISSN =         "0019-9907",
  abstract =     "VAMP is a method of documentation using a special
                 relationship between man and computer. It was
                 introduced in 1984 and since then experience has shown
                 it to be superior to WEB. A block diagram of the
                 program is given. (15 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Wageningen Univ., Netherlands",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6110 (Systems analysis and programming); C6180
                 (User interfaces)",
  CODEN =        "INFTC",
  keywords =     "Literate programming; User interface; VAMP;
                 Documentation",
  language =     "Dutch",
  thesaurus =    "Programming; User interfaces",
}

@InProceedings{vanAmmers:VTL92,
  author =       "E. W. van Ammers and M. R. Kramer",
  booktitle =    "{CompEuro} 1992 Proceedings: Computer Systems and Software
                 Engineering, May 4--8, 1992, The Hague, The Netherlands",
  title =        "{VAMP}: {A} tool for literate programming independent
                 of programming language and formatter",
  pages_whole =  "xviii + 717",
  pages =        "371--376",
  month =        may,
  year =         "1992",
  publisher =    pub-IEEE-CSP,
  address =      pub-IEEE-CSP:adr,
  ISBN =         "0-8186-2760-3",
  LCCN =         "QA76.5.C6122 1992",
  abstract =     "The authors have developed a module extractor called
                 VAMP, that cooperates with a standard formatter. They
                 describe the VAMP approach to literate programming.
                 Literate programming identifies a method of
                 documentation which explains to people what a computer
                 is supposed to do. Generally, this means that
                 refinement steps are documented in such a way that
                 modules can be extracted from the documentation files.
                 The tool has been in use since 1982. The experiences
                 are predominantly positive, in spite of the overhead
                 implicit in the methodology. The fact that VAMP is
                 independent of both programming language and formatter
                 distinguishes it from WEB and its derivatives. (15
                 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Dept. of Comput. Sci., Agric. Univ. of Wageningen,
                 Netherlands",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6115 (Programming support)",
  conf_date =    "4--8 May 1992",
  conf_location = "The Hague, Netherlands",
  conf_sponsor = "IEEE",
  editor =       "Patrick Dewilde and Joos Vandewalle",
  keywords =     "Explanation; Literate programming; Programming
                 language; Formatter; VAMP; Documentation; Refinement
                 steps; Overhead",
  thesaurus =    "Programming environments; Software tools; System
                 documentation",
}

@Article{VandenBosch:j-ACM-COMPREV-31-7-343,
  author =       "P. N. Van den Bosch",
  title =        "Weaving a Program: Literate Programming in {WEB}",
  journal =      j-ACM-COMPREV,
  volume =       "31",
  number =       "7",
  year =         "1990",
  pages =        "343--344",
  acknowledgement = ack-eg,
}

@Article{VanWyk:CACM-33-3-361,
  author =       "Christopher J. {Van Wyk}",
  title =        "Literate Programming\emdash{}An Assessment",
  journal =      j-CACM,
  year =         "1990",
  volume =       "33",
  number =       "3",
  pages =        "361, 365",
  month =        mar,
}

@Article{Waite:SIGPLAN-28-2-21,
  author =       "W. M. Waite",
  title =        "An Executable Language Definition",
  journal =      j-SIGPLAN,
  year =         "1993",
  volume =       "28",
  number =       "2",
  pages =        "21--40",
  month =        feb,
  note =         "This paper describes a subset of C, called C--,
                 defined as a literate program using the Eli and
                 FunnelWeb systems.",
  ISSN =         "0362-1340",
  abstract =     "This paper is an application of the literate
                 programming paradigm to language definition. C-- is a
                 scaled down version of C. The features selected
                 illustrate basic problems for compiler designers:
                 scanning, parsing, name analysis, overload resolution,
                 static storage allocation and code generation. Features
                 that merely increase the implementation effort without
                 illustrating such techniques were excluded. This paper
                 defines the structure and meaning of a C-- program. It
                 has five sections, each dealing with one aspect of the
                 language: basic symbols and comments, program
                 structure, declarations, expressions and statements.
                 (12 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Dept. of Electr. and Comput. Eng., Colorado Univ.,
                 Boulder, CO, USA",
  bibdate =      "Sat Nov 12 21:22:15 1994",
  classification = "C6140D (High level languages); C6110B (Software
                 engineering techniques)",
  CODEN =        "SINOD",
  keywords =     "Executable language definition; Literate programming
                 paradigm; Compiler designers; C-- program; Program
                 structure",
  thesaurus =    "C language; Formal specification",
}

@TechReport{Williams:FUM92,
  author =       "Ross Williams",
  title =        "{FunnelWeb} User's Manual",
  institution =  "University of Adelaide",
  year =         "1992",
  type =         "\verb|ftp.adelaide.edu.au| in \verb|/pub/compression|
                 and \verb|/pub/funnelweb|",
  address =      "Adelaide, South Australia, Australia",
  acknowledgement = ack-bc,
  bibdate =      "Mon Oct 4 17:25:40 1993",
}

@Article{Wu:J-ACM-ADALET-9-5-84,
  author =       "Y. C. Wu and Ted P. Baker",
  title =        "A Source Code Documentation System for {Ada}",
  journal =      j-ACM-ADALET,
  volume =       "9",
  number =       "5",
  year =         "1989",
  pages =        "84--88",
  acknowledgement = ack-eg,
}

@Article{Zeng:LPS91,
  author =       "Yunfeng Zeng",
  title =        "Literate programming system {CDS}",
  journal =      "Journal of Computer Science and Technology [English
                 Language Edition]",
  volume =       "6",
  number =       "3",
  pages =        "263--270",
  month =        jul,
  year =         "1991",
  ISSN =         "1000-9000",
  abstract =     "The paper presents a broad outline and some
                 implementation techniques of the literate programming
                 system CDS. Compared with the previous ones (e.g. WEB,
                 Cweb), CDS has two main characteristics: (1) a
                 Chinese-English typesetting system developed to produce
                 the documentation, making Chinese documentation
                 possible; and (2) a suitable method for automatic
                 formatting introduced to generate the software
                 documentation automatically. This frees the programmer
                 from typesetting details while still allowing
                 programmer's interference. (7 Refs.)",
  acknowledgement = ack-nhfb,
  affiliation =  "Inst. of Software, Acad. Sinica, Beijing, China",
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6115 (Programming support)",
  CODEN =        "JCTEE",
  keywords =     "CDS; Literate programming system; Chinese-English
                 typesetting system; Automatic formatting; Software
                 documentation",
  thesaurus =    "Programming environments; Software tools; System
                 documentation",
}

@Book{Broy:MPS91,
  title =        "Methods of programming. Selected papers on the
                 {CIP}-Project",
  pages =        "xii + 268",
  month =        "",
  year =         "1991",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  ISBN =         "3-540-54576-X",
  LCCN =         "QA76.6 .M4543 1991, QA267.A1 L43 no.544",
  abstract =     "The following topics were dealt with: meta-models for
                 system development including OOP; transformational
                 programming; software reusability; formal
                 specification; deductive program development; reverse
                 Polish notation; literate programming; quantifier
                 elimination; and algebraic and functional
                 programming.",
  acknowledgement = ack-nhfb,
  bibdate =      "Wed Aug 31 00:52:14 MDT 1994",
  classification = "C6110B (Software engineering techniques); C4240
                 (Programming and algorithm theory); C4210 (Formal
                 logic)",
  editor =       "M. Broy and M. Wirsing",
  keywords =     "Meta-models; System development; OOP; Transformational
                 programming; Software reusability; Formal
                 specification; Deductive program development; Reverse
                 Polish notation; Literate programming; Quantifier
                 elimination; Functional programming",
  thesaurus =    "Formal logic; Formal specification; Programming;
                 Programming theory; Software reusability",
}
