Văn bản này: Abstraction by symbolic indexing transformations