@InProceedings{HerlihyW87,
  author = 	 {M.P. Herlihy and J.M. Wing},
  title = 	 {Avalon: language support for reliable distributed systems},
  booktitle = 	 {17th Symposium on Fault-Tolerant Computer Systems},
  year =	 1987,
  month =	 jul
}