@article{iomanager,
    author = "Andreas Voellmy and Junchang Wang and Paul Hudak and Kazuhiko Yamamoto",
    title = "Mio: A High-Performance Multicore {IO} Manager for {GHC}",
    journal = "Haskell Symposium",
    year = "2013",
    month = "September"
}

@inproceedings{amdahl,
 author = {Amdahl, Gene M.},
 title = {Validity of the Single Processor Approach to Achieving Large Scale Computing Capabilities},
 booktitle = {Proceedings of the April 18-20, 1967, Spring Joint Computer Conference},
 series = {AFIPS '67 (Spring)},
 year = {1967},
 pages = {483--485},
} 

@misc{warp,
  title = {The warp package},
  howpublished = "\url{http://hackage.haskell.org/package/warp}",
  note = "[Online; accessed 29-Jan-2014]"
}

@misc{ghc,
  title = {The Glasgow Haskell Compiler},
  howpublished = "\url{http://www.haskell.org/ghc/}",
  note = "[Online; accessed 29-Jan-2014]"
}

@book{types,
 author = {Pierce, Benjamin C.},
 title = {Types and Programming Languages},
 year = {2002},
 publisher = {MIT Press},
} 

@misc{weighttp,
  title = {lighttpd/weighttp},
  howpublished = "\url{https://github.com/lighttpd/weighttp}",
  note = "[Online; accessed 2-Feb-2014]"
}

@article{shoshi:2010a,
    author = "玉城 将士 and 河野 真治",
    title = "Cassandraを使った{CMS}の{PC}クラスタを使ったスケーラビリティの検証",
    journal = "日本ソフトウェア科学会",
    month = "August",
    year = 2010
}

@article{shoshi:2011a,
    author = "玉城 将士 and 河野 真治",
    title = "Cassandraを使ったスケーラビリティのある{CMS}の設計",
    journal = "情報処理学会",
    month = "March",
    year = 2011
}

@article{shoshi:2011b,
    author = "玉城 将士 and 河野 真治",
    title = "Cassandraと非破壊的構造を用いた{CMS}のスケーラビリティ検証環境の構築",
    journal = "日本ソフトウェア科学会",
    month = "August",
    year = 2011
}

@article{toma:2013,
    author = "當眞 大千 and 河野 真治 and 永山 辰巳",
    title = "Haskell による非破壊的木構造を用いた {CMS} の実装",
    journal = "日本ソフトウェア科学会",
    month = "September",
    year = 2013
}


@misc{deos2013,
author = "所 眞理雄",
title = "{DEOS プロジェクト研究成果集 Dependability Engineering for Open Systems}",
year = "2013"
}                    
@misc{d_add2013,
author = "{永山 辰巳, 横手 靖彦}",
title = "{オープンシステムディペンダビリティとD-Caseを繋ぐリポジトリ}",
year = "2013"
}