@article{codd1970relational,
  title={A relational model of data for large shared data banks},
  author={Codd, Edgar F},
  journal={Communications of the ACM},
  volume=13,
  number=6,
  pages={377--387},
  year=1970,
  publisher={ACM}
}

@misc{strozziNoSQL,
  key={NoSQL},
  title={NoSQL - A non-SQL RDBMS},
  author={Carl Strozzi},
  note={\url{http://www.strozzi.it/cgi-bin/CSA/tw7/I/en_US/nosql}}
}

@article{goetz2000lucene,
  title={The Lucene search engine: Powerful, flexible, and free},
  author={Goetz, Brian},
  journal={JavaWorld. Available http://www.javaworld.com/javaworld/jw-09-2000/jw-0915-lucene.html},
  year={2000}
}

@INPROCEEDINGS{LZ74,
  author={Barbara Liskov and Stephen Zilles},
  title={Programming with Abstract Data Types},
  booktitle={SIGPLAN Notices},
  year=1974,
  pages={50--59}
}

@inproceedings{jones1996concurrent,
  title={Concurrent haskell},
  author={Jones, Simon Peyton and Gordon, Andrew and Finne, Sigbjorn},
  booktitle={POPL},
  volume={96},
  pages={295--308},
  year={1996}
}

@inproceedings{harris2005composable,
  title={Composable memory transactions},
  author={Harris, Tim and Marlow, Simon and Peyton-Jones, Simon and Herlihy, Maurice},
  booktitle={Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming},
  pages={48--60},
  year={2005},
  organization={ACM}
}

@book{IRBook,
  author={Christopher D. Manning, Hinrich Schutze, and Prabhakar Raghavan},
  title={Introduction to Information Retrieval},
  publisher={Cambridge University Press},
  year={2009}
}

@book{mccandless2010lucene,
  title={Lucene in Action: Covers Apache Lucene 3.0},
  author={McCandless, Michael and Hatcher, Erik and Gospodnetic, Otis},
  year={2010},
  publisher={Manning Publications Co.}
}

@misc{bernsteinMaildir,
  title={Using maildir format},
  author={Bernstein, Daniel J},
  year={1995},
  note={\url{http://cr.yp.to/proto/maildir.html}}
}

@techreport{cheney2003phantom,
  title={First-class phantom types},
  author={Cheney, James and Hinze, Ralf},
  year={2003},
  institution={Cornell University}
}

@misc{mccandless2012fst,
  key={mccandless2012fst},
  title={Using Finite State Transducers in Lucene},
  author={Michael McCandless},
  note={\url{http://blog.mikemccandless.com/2010/12/using-finite-state-transducers-in.html}}
}

@incollection{mohri2004weighted,
  title={Weighted finite-state transducer algorithms. An overview},
  author={Mohri, Mehryar},
  booktitle={Formal Languages and Applications},
  pages={551--563},
  year={2004},
  publisher={Springer}
}

@article{fredkin1960trie,
  title={Trie memory},
  author={Fredkin, Edward},
  journal={Communications of the ACM},
  volume={3},
  number={9},
  pages={490--499},
  year={1960},
  publisher={ACM}
}

@article{morrison1968patricia,
  title={PATRICIA—practical algorithm to retrieve information coded in alphanumeric},
  author={Morrison, Donald R},
  journal={Journal of the ACM (JACM)},
  volume={15},
  number={4},
  pages={514--534},
  year={1968},
  publisher={ACM}
}

@misc{bernsteinCritbit,
  title={Crit-bit Trees},
  author={Bernstein, Daniel J},
  note={\url{http://cr.yp.to/critbit.html}}
}

@misc{bytestringTrie,
  title={ByteString Trie - An efficient finite maps from (byte)strings to values},
  author={Wren Gayle Romano},
  note={\url{https://hackage.haskell.org/package/bytestring-trie}}
}