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 Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A first Experiment. 31-49 1984 1 IEEE Software 1 db/journals/software/software1.html#OrganickCMDHKLNS84 http://dx.doi.org/10.1109/MS.1984.233394