Formal aspects of computing science : proceedings of the Joint IBM University of Newcastle upon Tyne Seminar held in the University Computing Laboratory, 3rd-6th September 1974 /
Shaw, B.
University of Newcastle upon Tyne.Computing Laboratory.
I.B.M. United Kingdom Limited.
Newcastle upon Tyne :  University of Newcastle upon Tyne Computing Laboratory, 
1975.
Electronic digital computers
Electronic data processing