formal semantics of Turing programs
By: R.C. Holt, P.A. Matthews.
Series: Technical report CSRI -- 182
Publisher: Computer Systems Research Institute, University of Toronto
Published: 1986
Place of publication: Toronto
Language: eng
Number of pages: 52
Subjects: Turing (Computer program language); Electronic data processing
Notes: Bibliography: p. [51]-52.