Logic and its application to computing science : proceedings of the joint University of Newcastle-upon-Tyne/Amdahl (U.K.) Limited Seminar held in the University Computing Library 8th-11th September, 1987 /
Randell, B.(Brian)
University of Newcastle upon Tyne.Computing Laboratory.
Newcastle-upon-Tyne : University of Newcastle-upon-Tyne Computing Laboratory,
1987.