%A I. N. Dallas
%T Transport Service Byte Stream Protocol (TSBSP)
%R Technical Report No 1
%I Computing Laboratory, University of Kent, Canterbury
%D August 1981
%O (Revision 3)

%A S. E. Binns
%A I. N. Dallas
%A M. N. A. Lee
%T UKC Papers on the Cambridge Ring
%R Technical Report No 2
%I Computing Laboratory, University of Kent, Canterbury
%D October 1980
%O presented at Networkshops 4, 5 & 6

%A E. B. Spratt
%T Operational Experiences with a Cambridge Ring Local Area Network in a University Environment
%R Technical Report No 3
%I Computing Laboratory, University of Kent, Canterbury
%D October 1980

%A Y. V. Silva-Filho
%T Multidimensional Search Trees as Indices of Files
%R Technical Report No 4
%I Computing Laboratory, University of Kent, Canterbury
%D February 1981

%A P. J. Brown
%T Dynamic Program Building
%R Technical Report No 5
%I Computing Laboratory, University of Kent, Canterbury
%D December 1980

%A T. E. Schutt
%T Byte Streams on a Microcomputer
%R Technical Report No 6
%I Computing Laboratory, University of Kent, Canterbury
%D March 1981

%A R. P. A. Collinson
%T Comments on style in C
%R Technical Report No 7
%I Computing Laboratory, University of Kent, Canterbury
%D May 1981

%A I. N. Dallas
%T Cambridge Ring to PSS Gateway RSX-11M Transport Service Module (for X25) Specification
%R Technical Report No 8
%I Computing Laboratory, University of Kent, Canterbury
%D June 1981

%A I. N. Dallas
%T Basic Block Protocol Implementation Guide
%R Technical Report No 9
%I Computing Laboratory, University of Kent, Canterbury
%D March 1981

%A I. N. Dallas
%T Protocols used on the Ring: A Simple Guide
%R Technical Report No 10
%I Computing Laboratory, University of Kent, Canterbury
%D March 1981

%A R. P. Bird
%T Executing Pascal and Assembly Language programs on the HEX-29
%R Technical Report No 11
%I Computing Laboratory, University of Kent, Canterbury
%D October 1981

%A M. J. Bayliss
%T UKC File Server
%R Technical Report No 12
%I Computing Laboratory, University of Kent, Canterbury
%D May 1982

%A R. P. A. Collinson
%T The Kent Spooler for UNIX
%R Technical Report No 13
%I Computing Laboratory, University of Kent, Canterbury
%D June 1982

%A Silvio Lemos Meira
%T Sorting Algorithms in KRC Implemented in a Functional Programming System
%R Technical Report No 14
%I Computing Laboratory, University of Kent, Canterbury
%D August 1982

%A T. R. Hopkins
%T Fortran Subroutines for the Solution of Symmetric and Non-symmetric
Toeplitz sets of Linear Equations using the Levinson-Trench Algorithm
%R Technical Report No 15
%I Computing Laboratory, University of Kent, Canterbury
%D October 1982

%A R. P. A. Collinson
%T A UNIX SSP/BBP interface to the Cambridge Ring
%R Technical Report No 16
%I Computing Laboratory, University of Kent, Canterbury
%D December 1982

%A T. R. Hopkins
%T Unknotting Fortran
%R Technical Report No 17
%I Computing Laboratory, University of Kent, Canterbury
%D October 1983

%A A. L. Ibbetson
%T The UKC TS29 Ring PAD
%R Technical Report No 18
%I Computing Laboratory, University of Kent, Canterbury
%D June 1984 (Revision 2)

%A T. R. Hopkins
%T Implementing the Spectral Test for Assessing Linear Congruential Random Number Generators
%R Technical Report No 19
%I Computing Laboratory, University of Kent, Canterbury
%D March 1984

%A Silvio Lemos Meira
%T Optimized Combinatoric Code for Applicative Language Implementation
%R Technical Report No 20
%I Computing Laboratory, University of Kent, Canterbury
%D April 1984

%A E. A. Oxborrow
%T The Proteus Distributed Database System
%R Technical Report No 21
%I Computing Laboratory, University of Kent, Canterbury
%D July 1984

%A Man-Chi Pong
%T 2-PIGS: An Interactive Graphical Programming Environment with Mixed Interpretation and Compilation
%R Technical Report No 22
%I Computing Laboratory, University of Kent, Canterbury
%D September 1984

%A I. N. Dallas
%T Report on the Hewlett Packard 4951A Protocol Analyser
%R Technical Report No 23
%I Computing Laboratory, University of Kent, Canterbury
%D September 1984

%A James A. Pitcairn-Hill
%T Menus and Menu Systems An Approach to the User Interface
%R Technical Report No 24
%I Computing Laboratory, University of Kent, Canterbury
%D October 1984

%A E. A. Oxborrow
%T A Microcomputer Database System in a Distributed Database Environment
%R Technical Report No 25
%I Computing Laboratory, University of Kent, Canterbury
%D October 1984

%A Man-Chi Pong
%T I-PIGS: A Concurrent Programming Environment with Interactive Graphical Support
%R Technical Report No 26
%I Computing Laboratory, University of Kent, Canterbury
%D November 1984

%A R. D. Lins
%T The Complexity of a Translation of L-calculus to Categorical Combinators
%R Technical Report No 27
%I Computing Laboratory, University of Kent, Canterbury
%D April 1985

%A Silvio Lemos Meira
%T A Linear Applicative Solution for The Set Union problem
%R Technical Report No 28
%I Computing Laboratory, University of Kent, Canterbury
%D May 1985

%A Silvio Lemos Meira
%T A Short Guide to LaTeX
%R Technical Report No 29
%I Computing Laboratory, University of Kent, Canterbury
%D May 1985

%A R. E. Cooley
%T Proceedings of a Seminar on Social Science Computing Services
%R Technical Report No 30
%I Computing Laboratory, University of Kent, Canterbury
%D July 1985
%O Held on 11 January 1985, The Economic & Social Research Council,
1 Temple Avenue London EC4

%A G. J. Makinson
%A H. L. Morarji
%T Computation with Graphics in a Mathematics Teaching Initiative
%R Technical Report No 31
%I Computing Laboratory, University of Kent, Canterbury
%D October 1985

%A G. J. Makinson
%A H. L. Morarji
%T KAS: A New Authoring System for Computer-Assisted Learning
%R Technical Report No 32
%I Computing Laboratory, University of Kent, Canterbury
%D October 1985

%A R. D. Lins
%T A New Formula for the Execution of Categorical Combinators
%R Technical Report No 33
%I Computing Laboratory, University of Kent, Canterbury
%D November 1985
%O (Revision 1 - APR 1986)

%A R. D. Lins
%T On the Efficiency of Categorical Combinators as a Rewriting System
%R Technical Report No 34
%I Computing Laboratory, University of Kent, Canterbury
%D November 1985
%O (Revision 1 - MAY 1986)

%A S. J. Thompson
%T Laws in Miranda
%R Technical Report No 35
%I Computing Laboratory, University of Kent, Canterbury
%D December 1985

%A R. D. Lins
%T A Graph Reduction Machine for Execution of Categorical Combinators
%R Technical Report No 36
%I Computing Laboratory, University of Kent, Canterbury
%D April 1986

%A S. J. Thompson
%T Proving properties of functions defined on lawful types
%R Technical Report No 37
%I Computing Laboratory, University of Kent, Canterbury
%D May 1986