Journal of Computer and System Sciences, 1972- (informationswissenschaftl. Veröffentlichungen)