Register-machine based processes. - Bergstra, Jan A. (Journal of the ACM)