Kernel Ada to Unify Hardware and Software Design. - Sy Wong; Gertrude Levine (SIGAda, 1998)