@inproceedings{agda,
 author = {Norell, Ulf},
 title = {Dependently Typed Programming in Agda},
 booktitle = {Proceedings of the 4th International Workshop on Types in Language Design and Implementation},
 series = {TLDI '09},
 year = {2009},
 isbn = {978-1-60558-420-1},
 location = {Savannah, GA, USA},
 pages = {1--2},
 numpages = {2},
 url = {http://doi.acm.org/10.1145/1481861.1481862},
 doi = {10.1145/1481861.1481862},
 acmid = {1481862},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {dependent types, programming},
}

@manual{gcc,
author = "{GNU Compiler Collection (GCC) Internals}",
title ="{http://gcc.gnu.org/onlinedocs/gccint/}",
}

@article{weko_195888_1,
   author	 = "坂本 昂弘 and 桃原 優 and 河野 真治",
   title	 = "継続を用いたx.v6 kernelの書き換え",
   year 	 = "2019",
   institution	 = "琉球大学工学部情報工学科, 琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科",
   journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)",
   number	 = "4",
   month	 = "may"
}

@misc{xv6,
author     = "{Russ Cox, Frans Kaashoek, Robert Morris}",
title    = {xv6 a simple, Unix-like teaching operating system},
howpublished   = {https://pdos.csail.mit.edu/6.828/2018/xv6/book-rev11.pdf},
}

@book{lions1996lions,
  title={Lions' Commentary on UNIX 6th Edition with Source Code},
  author={Lions, J.},
  isbn={9781573980135},
  lccn={55015401},
  series={Computer classics revisited},
  url={https://books.google.co.jp/books?id=OlZ3QgAACAAJ},
  year={1996},
  publisher={Peer-to-Peer Communications}
}