GRASP/Ada

"A Graphically Oriented Specification Language for Automatic Code Generation", J. H. Cross, Auburn University, NASA CR-183212, 1989.