Journal of computer and system sciences (Academic Press, 1967)