@inproceedings{HMW05,
  author = {Brian Huffman and John Matthews and Peter White},
  title = {Axiomatic constructor classes in {Isabelle/HOLCF}},
  booktitle = {Proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs '05)},
  editor = {Joe Hurd and Tom Melham},
  series = {LNCS},
  volume = {3603},
  year = {2005},
  pages = {147--162},
  publisher = {Springer}
}

@phdthesis{holcf11,
  author = {Brian Huffman},
  title = {HOLCF '11: A Definitional Domain Theory for Verifying Functional Programs},
  school = {Portland State University},
  year = {2012},
  type = {Ph.{D}. thesis},
}

@inproceedings{huffman2012,
  author = {Brian Huffman},
  title = {Formal Verification of Monad Transformers},
  booktitle = {Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming (ICFP 2012)},
  note = {Publication pending.}
}