@InProceedings{HerlihyRu00,
  author = 	 {M.P. Herlihy and E. Ruppert},
  title = 	 {On the Existence of Booster Types},
  booktitle = 	 {In Thirty-Second IEEE Symposium on Foundations of Computer Science (FOCS)},
  year =	 2000,
  month =	 nov
}