%A J. Strother Moore
%T Introducing iteration into the Pure Lisp theorem prover
%R CSL-74-3
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D December 1974
%P 37

%A Ben Wegbreit
%T Goal-directed program transformation
%R CSL-75-8
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D September 1975
%P 32

%A A.C. Kay
%Q the Learning Research Group
%T Personal dynamic media
%R CSL-76-1
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D 1976

%A Jay E. Israel
%A James G. Mitchell
%A Howard E. Sturgis
%T Separating function from data in a distributed file system
%R CSL-78-5
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D September 1978

%A J.C. Mitchell
%A W. Maybury
%A R. Sweet
%T Mesa language manual, version 5.0
%R CSL-79-3
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D April 1979

%A David R. Boggs
%A John F. Shoch
%A Edward A. Taft
%A Robert M. Metcalfe
%T Pup: an internetwork architecture
%R CSL-79-10
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D July 1979
%P 29

%A R. Metcalfe
%A D. Boggs
%A R. Crane
%A E. Taft
%A J. Shoch
%A J. Hupp
%T The Ethernet local network: three reports
%R CSL-80-2
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D February 1980

%A William H. Paxton
%T A client-based transaction system to maintain data integrity
%R CSL-80-3
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D March 1980
%P 13

%A L. Peter Deutch
%A Edward A. Taft
%T Requirements for an experimental programming environment
%R CSL-80-10
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D June 1980

%A Douglas W. Clark
%A Butler W. Lampson
%A Gene A. McDaniel
%A Severo M. Ornstein
%A Kenneth A. Pier
%T The Dorado: a high-performance personal computer
%R CSL-81-1
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D January 1981

%A B.J. Nelson
%T Remote procedure call
%R CSL-81-9
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D 1981

%A Greg Nelson
%T Techniques for program verification
%R CSL-81-10
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D June 1981
%P 101

%A Butler W. Lampson
%A James J. Horning
%A Ralph L. London
%A James G. Mitchell
%A Gerald J. Popek
%T Report on the programming language Euclid
%R CSL-81-12
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D October 1981
%P 80

%A E.E. Schmidt
%T Controlling large software development in a distributed environment
%R CSL-82-7
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D December 1982

%A David Reeves Boggs
%T Internet broadcasting
%R CSL-83-3
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D October 1983
%P 84

%A R.G.G. Cattell
%T Design and implementation of a relationship-entity-datum data model
%R CSL-83-4
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D May 1983
%P 125

%A Warren Teitelman
%T The Cedar programming environment: a midterm report and examination
%R CSL-83-11
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D June 1984

%T The Cedar system: an anthology of documentation
%E J.H. Horning
%R CSL-83-14
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D 1983

%A Butler W. Lampson
%T The Cedar language reference manual
%R CSL-83-15
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D 1983

%A Mark R. Brown
%A Karen Kolling
%A Edward A. Taft
%T The Alpine file system
%R CSL-84-4
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D October 1984
%P 33

%A Polle T. Zellweger
%T Interactive source-level debugging of optimized programs
%R CSL-84-5
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D May 1984

%A P. Rovner
%T On adding garbage collection and runtime types
to a strongly-typed, statically checked, concurrent language
%R CSL-84-7
%I Computer Science Laboratory, Xerox PARC
%C Palo Alto, California
%D 1984