Fred Grossman Robert J. Klerer Charles B. Engle Jr. Automating the Ada Programming Rrocess: A Domain-Specific Approach. 302-311 1993 TRI-Ada http://doi.acm.org/10.1145/170657.170744 db/conf/sigada/triada93.html#GrossmanKE93