Implementing Tagged Types and Type Extensions for Ada 9X. - Gary Dismukes; Mike A. Rome (TRI-Ada, 1992)