Journal of Computer and System Sciences (1974)