Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman
Towards an Ada Basis for KBSE: Refine-Ada 95 Conversion
Ada, 1996.
@inproceedings{TRI-Ada-1996-BailesBCS, author = "Paul A. Bailes and Paul Burnim and Murray Chapman and Eric J. Salzman", booktitle = "{The Annual Meeting of the Ada Programming World}", doi = "10.1145/240678.240716", isbn = "0-89791-808-8", pages = "193--204", publisher = "{ACM}", title = "{Towards an Ada Basis for KBSE: Refine-Ada 95 Conversion}", year = 1996, }