@inproceedings{TRI-Ada-C-1992-McHugh,
	author        = "John McHugh",
	booktitle     = "{Conference Proceedings on TRI-Ada 1992}",
	doi           = "10.1145/143557.143581",
	pages         = "55--59",
	publisher     = "{ACM}",
	title         = "{Ada 9X and Safety Critical/Secure Systems}",
	year          = 1992,
}