Transforming an Ada Program Unit to Silicon and Testing It in an Ada Environment. - Tony M. Carter; Alan L. Davis; Alan B. Hayes; Gary Lindstrom; Dan Klass; Mike P. Maloney; Brent E. Nelson; Elliott I. Organick; Kent F. Smith (COMPCON, 1984)

Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A first Experiment. - Elliott I. Organick; Tony M. Carter; Mike P. Maloney; Alan L. Davis; Alan B. Hayes; Dan Klass; Gary Lindstrom; Brent E. Nelson; Kent F. Smith (IEEE Softw., 1984)