Table of Contents

Introduction, by A. G. Hume
Supplementary material for the Research system.

Document Preparation

"Typing Documents on the UNIX System: Using the -ms and -mcs Macros with Troff" L. L. Cherry and M. E. Lesk.
The basic troff macro packages: the -ms document style is useful for most purposes, and -mcs handles Bell Labs cover sheets.

"The -mpm Macro Package" B. W. Kernighan and C. J. Van Wyk.
Describes the -mpm macros, a version of -ms that does automatic page balancing.

"Typesetting Mathematics ­ User's Guide" B. W. Kernighan and L. L. Cherry.
Describes eqn, an easy-to-learn language for doing high-quality mathematical typesetting.

"Tbl ­ A Program to Format Tables" L. L. Cherry and M. E. Lesk.
A program to permit easy specification of tabular material for typesetting. Again, easy to learn and use.

"Pic ­ A Graphics Language for Typesetting" B. W. Kernighan
A language for describing line drawings. Pic descriptions included in manuscripts make high-quality drawings when typeset.

"Ideal ­ A Picture-specification Language" C. J. Van Wyk
This relative of pic specifies pictures with constraints and equations. Although harder to use than pic, it supports generalized pens, region filling and opaqueing.

"Grap ­ A Language for Typesetting Graphs" J. L. Bentley and B. W. Kernighan.
Converts numerical data into beautifully typeset graphs and charts. Instructions to grap may be included in any manuscript.

"Dag ­ A Program for Drawing Directed Graphs" E. R. Gansner, S. C. North, and K. P. Vo.
Given the connection list (and labels) for a graph, dag generates an uncluttered layout for typesetting.

"Formatting References with Prefer" M. A. Derr.
Prefer, the modern replacement for refer, replaces symbolic citations in a text with properly sequenced bibliographic references and prepares a bibliography.

"Cip User's Manual: One Picture is Worth a Thousand Words" S. A. Browning.
How to interactively draw pic pictures for your documents on a screen instead of programming them.

"Troff User's Manual" J. F. Ossanna and B. W. Kernighan.
The basic text-formatting program.

"A Troff Tutorial" B. W. Kernighan.
An introduction to troff for those who really want to know such things.

"Typing Documents on the UNIX System: Using Monk 0.6" S. L. Murrel and T. J. Kowalski.
How to format documents with troff without ever writing troff code.

"Latex User Guide" H. Trickey.
Local variations to the Latex book.


"Mk ­ A Successor to Make" A. G. Hume.
The best tool for making sure that large programs are properly compiled with minimal effort.

"Rc ­ A Shell for Plan 9 and UNIX" T. Duff.
The next stage in symbolic shells.

"The Snocone Programming Language" A. Koenig.
A with syntactic sugar.

"A Portable Fortran 77 Compiler" S. I. Feldman and P. J. Weinberger.
Details about the local Fortran.

"The C Interpreter: A Tutorial for Cin Version 0.18" T. J. Kowalski, H. H. Goguen, and J. J. Puttress.
A surprisingly effective approach to C. Interpreted code can be combined with compiled code for both flexibility and speed.

"The Feel of Pi" T. A. Cargill.
How to use an amazing multi-window debugger for C programs.

Supporting Tools and Languages

"Yacc: A Parser Generator" S. C. Johnson and R. Sethi.
Converts a BNF specification of a language and semantic actions written in C into a compiler for the language.

"Lex ­ A Lexical Analyzer Generator" M. E. Lesk and E. Schmidt.
Creates a recognizer for a set of regular expressions; each regular expression can be followed by arbitrary C code which will be executed when the regular expression is found.

"Sed ­ A Non-interactive Text Editor" L. E. McMahon.
A variant of the editor for hands-off processing in a single pass.

"The Text Editor Sam" R. Pike.
The design and use of a remarkable programmable editor with a slick mouse interface.

"Pico ­ A Language For Composing Digital Images" G. J. Holzmann.
A sophisticated, programmable transformer of digitized pictures.

"Spin ­ A Protocol Analyzer" G. J. Holzmann.
A small and powerful tool for the analysis of distributed systems.

"A System for Algorithm Animation" J. L. Bentley and B. W. Kernighan.
A system for displaying data that varies over time. Outputs include an interactive viewer and snapshots for inclusion in a troff document.

"Computer Music Under the 10th Edition UNIX System" T. J. Killian.
Programs that convert to audio.

"The 10th Edition Raster Graphics System" T. Duff.
How to make, process, and display high quality color images.

Implementation and Maintenance

"Setting Up a Research UNIX System" N. Wilson.
How to configure your system and get it running.

"A Stream Input-Output System" D. M. Ritchie.
The way data is passed among processes and communication devices.

"A Look at the Ninth Edition Network File System" S. A. Rago.
Details of the current network file system protocol for Research

"Interprocess Communication in the Ninth Edition UNIX System" D. L. Presotto and D. M. Ritchie.
A description of the current IPC system; both the underlying system primitives and the user-level code.

"Authmgr ­ An Authentication Service for Datakit" D. Cohrs.
A Datakit service for authenticating users.

"UNIX System Security" F. T. Grampp and R. H. Morris.
How the bad guys can get you if you don't watch out.

"Upas ­ A Simpler Approach to Network Mail" D. L. Presotto and W. R. Cheswick.
How the mail system is organized and how it deals with networks.

"Uucp Administration" D. A. Nowitz.
How uucp works, and how to administer it.

"Fsck ­ The UNIX File System Check Program" T. J. Kowalski.
Semi-automatic diagnosis and repair of file systems.

"The File Motel: An Owner's Manual" A. G. Hume.
The design and maintenance of the 10th Edition incremental file backup system.

"A Guide to the Lp Printer Spooler" P. Glick.
The intricacies of running your printers.

"Index" L. L. Cherry.
An almost mechanically generated index.

Copyright © 2001 Lucent Technologies Inc. All rights reserved.