@inproceedings{SIGAda-2006-Dewar,
	author        = "Robert Dewar",
	booktitle     = "{Proceedings of the Annual ACM SIGAda International Conference on Ada, Albuquerque}",
	doi           = "10.1145/1185642.1185650",
	isbn          = "1-59593-563-0",
	pages         = "43",
	publisher     = "{ACM}",
	title         = "{Ada 2005 & high integrity systems}",
	year          = 2006,
}