@string{jfp={Journal of Functional Programming}}
@String{pub-PH                  = "Pren{\-}tice-Hall, Inc."}
@String{pub-PH:adr              = "Upper Saddle River, NJ 07458, USA"}

@Article{Adams1993,
title={Functional Pearls: Efficient sets---a balancing act},
author={Stephen Adams},
pages={553--561},
journal=jfp,
month=oct,
year=1993,
volume=3,
number=4
}

@manual{finitemap,
title = {Data.FiniteMap},
note = "www.haskell.org/ghc/docs/6.2/html/libraries/base/Data.FiniteMap.html",
key = {DFM}
}

@misc{ibexbalancedtree,
title = "org.ibex.util.BalancedTree",
note = "util.ibex.org/src/org/ibex/util/BalancedTree.java",
key = {IBT}
}

@book{cohen,
 author = {Henri Cohen},
 title = {A course in computational algebraic number theory},
 year = {1993},
 isbn = {0-387-55640-0},
 publisher = {Springer-Verlag New York, Inc.},
 address = {New York, NY, USA},
 }

@Book{trappe,
  author =       "Wade Trappe and Lawrence C. Washington",
  title =        "Introduction to Cryptography with Coding Theory",
  publisher =    pub-PH,
  address =      pub-PH:adr,
  pages =        "xiii + 490",
  year =         "2002",
  ISBN =         "0-13-061814-4",
  LCCN =         "QA268 .T73 2002",
  bibdate =      "Wed Jan 16 09:11:10 2002",
  price =        "UK\pounds 29.99",
  acknowledgement = ack-nhfb,
  keywords =     "coding theory; cryptography",
}

@inproceedings{hlist,
 author = {Oleg Kiselyov and Ralf L\"{a}mmel and Keean Schupke},
 title = {Strongly typed heterogeneous collections},
 booktitle = {Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell},
 year = {2004},
 isbn = {1-58113-850-4},
 pages = {96--107},
 location = {Snowbird, Utah, USA},
 doi = {http://doi.acm.org/10.1145/1017472.1017488},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }