selected publications chapter Views and Iterators for Generic Constraint Implementations. Lecture Notes in Computer Science. 118-132. 2006