Normal view
MARC view
Back, R. J. R. (Personal Name)
His Correctness preserving program refinements, 1980: t.p. (R.J.R. Back) p. 109 (submitted dissertation, Univ. of Helsinki, 1978)