"Kernel Ada to Unify Hardware and Software Design."

Sy Wong, Gertrude Levine (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics