Declarative definition of group indexed data structures (2001) [pdf] | Hacker News Reader