Indexed containers. Available online (2006)

by T Altenkirch, N Ghani, P Hancock, C McBride, P Morris