@inproceedings{TRI-Ada-T2-1992-Shumate,
	author        = "Ken Shumate",
	booktitle     = "{Tutorial Proceedings on TRI-Ada 1992, Volume 2}",
	doi           = "10.1145/149584.149585",
	pages         = "497--589",
	publisher     = "{ACM}",
	title         = "{Software Specification and Design with Ada: A Disciplined Approach}",
	year          = 1992,
}