@book{1513,
	author = {Taft, S. Tucker,},
	title = {Ada 95 reference manual :},
	publisher = {Springer,},
	year = {1995},
	address = {Berlin :},
	note = {"International standard ISO/IEC 8652:1995(E)"}
}