Improving Eiffel Assertions Using Quantiefied Iterators. - Miguel Katrib; Jesüs Coira (J. Object Oriented Program., 1997)