Bibtex:

@incollection{WJ99,
  AUTHOR    = { Wing, Jeannette M.
                and Ockerbloom, John },
  TITLE     = { Respectful Type Converters For Mutable Types },
  BOOKTITLE = { Foundations of Component Based Systems },
  YEAR      = { 1999 },
  PUBLISHER = { Cambridge University Press },
  PAGES     = { 161--186 },
  ISBN      = { 0-521-77164-1 },
  EDITOR    = { Gary T. Leavens and Murali Sitaraman },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.