"Automating the Ada Programming Rrocess: A Domain-Specific Approach."

Fred Grossman, Robert J. Klerer, Charles B. Engle Jr. (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics