Iterator types (2007)

by S Alves, M Fernández, M Florido, I Mackie
Venue:Proceedings FOSSACS, volume 4423 of Lecture Notes in Computer Science