@proceedings{SIGAda-2000,
	address       = "Laurel, MD, USA",
	title         = "{Proceedings of the ACM SIGAda Annual International Conference on Ada Technology}",
	year          = 2000,
}