@inproceedings{TRI-Ada-1995-Shumate,
	author        = "Ken Shumate",
	booktitle     = "{Tutorial Proceedings on Ada’s Role in Global Markets: Solutions for a Changing Complex World}",
	doi           = "10.1145/216591.216601",
	pages         = "118--119",
	publisher     = "{ACM}",
	title         = "{Software Specification and Design with Ada: A Disciplined Approach}",
	year          = 1995,
}