Invariant properties of algorithms. - Necdet Bulut; Maurice H. Halstead (ACM SIGPLAN Notices, 1973)

Invariant properties of algorithms. - Necdet Bulut (1973)

Experimental validation of a structural property of Fortran algorithms. - Necdet Bulut; Maurice H. Halstead; Rudolf Bayer (ACM Annual Conference (1), 1974)