The Turing Programming Language (1988)

by R Holt, J Cordy
Venue:Communications of the ACM