A formal specification of the numerical turing programming language.
Published: 1987
Language: eng
Number of pages: 49