Christian Schulte Guido Tack Views and Iterators for Generic Constraint Implementations. 118-132 2005 conf/csclp/2005 CSCLP http://dx.doi.org/10.1007/11754602_9 db/conf/csclp/csclp2005.html#SchulteT05