Extensible Protected Types. - O. P. Kiddle; Andy J. Wellings (SIGAda, 1998)