@Article{biagioni+:foxnet,
  author = 	 {Edoardo Biagioni and Robert Harper and Peter Lee},
  title = 	 {A Network Protocol Stack in Standard ML},
  journal = 	 {Higher Order and Symbolic Computation},
  year = 	 {2001},
  volume =	 {14},
  number =	 {4},
  pages =	 {309--356}
}