Cyrille Comar Brett Porter Ada 9X Tagged Types and Their Implementation in GNAT. 71-81 1994 TRI-Ada http://doi.acm.org/10.1145/197694.197709 db/conf/sigada/triada94.html#ComarP94