@article{Baker91,
author = {Baker, Henry G.},
title = {Shallow Binding Makes Functional Arrays Fast},
year = {1991},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {26},
number = {8},
url = {https://doi.org/10.1145/122598.122614},
journal = {SIGPLAN Not.},
month = {aug},
pages = {145-147},
}

@inproceedings{ConchonF07,
  author    = {Sylvain Conchon and
               Jean{-}Christophe Filli{\^{a}}tre},
  editor    = {Claudio V. Russo and
               Derek Dreyer},
  title     = {A persistent union-find data structure},
  booktitle = {Proceedings of the {ACM} Workshop on ML, 2007, Freiburg, Germany,
               October 5, 2007},
  pages     = {37--46},
  publisher = {{ACM}},
  year      = {2007},
  url       = {https://doi.org/10.1145/1292535.1292541},
}

@article{GaleS62,
  author    = {D. Gale and
               L. S. Shapley},
  title     = {College Admissions and the Stability of Marriage},
  journal   = {Am. Math. Mon.},
  volume    = {69},
  number    = {1},
  pages     = {9--15},
  year      = {1962},
}

@book{GusfieldI89,
  author    = {Dan Gusfield and
               Robert W. Irving},
  title     = {The Stable marriage problem - structure and algorithms},
  series    = {Foundations of computing series},
  publisher = {{MIT} Press},
  year      = {1989}
}

@article{Collections-AFP,
  author  = {Peter Lammich},
  title   = {Collections Framework},
  journal = {Archive of Formal Proofs},
  month   = nov,
  year    = 2009,
  note    = {\url{https://isa-afp.org/entries/Collections.html},
            Formal proof development},
}
