Journal of Computer and System Sciences (Academic Pr., Inc., 1967)