Derek Rayside, Vajih Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, Daniel Jackson. Synthesizing iterators from abstraction functions. In Klaus Ostermann, Walter Binder, editors, Generative Programming and Component Engineering, GPCE'12, Dresden, Germany, September 26-28, 2012. pages 31-40, ACM, 2012. [doi]