@inproceedings {5252,
	title = {Automatic Instantiation in Ada},
	booktitle = {SIGAda Conference},
	year = {1991},
	doi = {10.1145/126551.126586},
	author = {Jun Shen and Gordon Cormack}
}
