@string{TOCS   = "Theory of Computing Systems"}

@Article{BP02,
  author =       "Amir M. Ben-Amram and Holger Petersen",
  title =        "Improved bounds for functions related to Busy Beavers"
  journal =      TOCS,
  volume =       "35",
  year =         2002,
  pages =        "1--11",
  number = 	 1,
  url =
  "http://www.springerlink.com/openurl.asp?genre=article&issn=1432-4350&volume=35&issue=1&spage=1"
}