Formal specification proceedings of the joint IBM/University of Newcastle upon Tyne seminar held in the University Computing Laboratory 7th-10th September 1983
Elphick, M. J.
International Business Machines Corporation.
University of Newcastle upon Tyne.Computing Laboratory.
Newcastle upon Tyne The Laboratory
1983
Includes bibliographies
Electronic digital computers