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