The Determination of Loop Invariants for Programs with ArraysHamed A. Ellozy1981IEEE Transactions on Software Engineering