The Computational Complexity of Program Schemata

Journal of Computer and System Sciences - United States
doi 10.1016/s0022-0000(76)80020-7