Paul A. Bailes Paul Burnim Murray Chapman Eric J. Salzman Towards an Ada Basis for KBSE: Refine-Ada 95 Conversion. 193-204 1996 TRI-Ada http://doi.acm.org/10.1145/240678.240716 db/conf/sigada/triada96.html#BailesBCS96