An Algorithm for the Derivation of Codefinitions in Computer Programs

Janusz W. Laski. An Algorithm for the Derivation of Codefinitions in Computer Programs. Inf. Process. Lett., 23(2):85-90, 1986.