@book{12478,
	author = {Ledgard, Henry},
	title = {ADA},
	publisher = {Springer-Verlag,},
	year = {1981},
	address = {New York:}
}