Synthesizing iterators from abstraction functions. - Derek Rayside; Vajih Montaghami; Francesca Leung; Albert Yuen; Kevin Xu; Daniel Jackson 001 (GPCE, 2012)