Abstraction by symbolic indexing transformations (Lecture Notes in Computer Science:, 2002)

(untitled) - Melham, T; Jones, R