@inproceedings{SIGAda-1998-HendrixCBM,
	author        = "T. Dean Hendrix and James H. Cross II and Larry A. Barowski and Karl S. Mathias",
	booktitle     = "{Proceedings of the ACM SIGAda Annual International Conference on Ada Technology}",
	doi           = "10.1145/289524.289568",
	pages         = "152--157",
	publisher     = "{ACM}",
	title         = "{Visual Support for Incremental Abstraction and Refinement in Ada 95}",
	year          = 1998,
}