Buneman, et al.. Principles of Programming with Complex Objects and Collection Types. Elsevier BV, 1995, doi:10.1016/0304-3975(95)00024-q.