Design and specification of iterators using the swapping paradigm (1994)

by B Weide, S Edwards, D Harms, D Lamb
Venue:IEEE Trans. on Software Engineering