THE TURING PROGRAMMING LANGUAGE. - Holt, R.C.; Cordy, J.R. (Communications of the ACM, 1988)