Title: A formal specification of the numerical turing programming language
First published: 1987