@InProceedings{Bruce-et-al-93,
  author =       {Kim B. Bruce, Jon Crabtree, Allyn Dimock, 
                  Robert van Gent, Robert Muller, Thomas P. Murtagh},
  title =        {Safe and Decidable Type Checking in an Object-Oriented Language},
  booktitle =    {Proceedings of the 8th ACM-SIGPLAN Conference on Object-Oriented
                  Programming Systems, Languages and Applications, SIGPLAN Notices},
  volume =       {29}, 
  number =       {10},
  pages =        {29-46},
  month =        {October},
  year =         {1993}
}