26001 Wayne Blizard: Multiset theory. Notre Dame J. Formal Logic 30/1 (1989), 36-66. 2129 Donald Knuth: The art of computer programming. Volume 2. Addison-Wesley.