A

Ashcroft, E.A. and Wadge, W.W. (1975) Lucid - A Formal System for Writing and Proving Programs. Technical Report. Department of Computer Science, Coventry, UK.

M

McColl, W.F. and Paterson, M.S. (1975) The depth of all Boolean functions. Technical Report. Department of Computer Science, Coventry, UK.

S

Schönhage, A., Paterson, M.S. and Pippenger, N. (1975) Finding the median. Technical Report. Department of Computer Science, Coventry, UK.

Smyth, M.B. (1975) Effectively giving domains. Technical Report. Department of Computer Science, Coventry, UK.

V

Valiant, L.G. and Paterson, M.S. (1975) Circuit size is nonlinear in depth. Technical Report. Department of Computer Science, Coventry, UK.

W

Wadge, W.W. (1975) A complete natural deduction system for the relational calculus. Technical Report. Department of Computer Science, Coventry, UK.