Bibtex:

@article{WJ00,
  AUTHOR    = { Wing, Jeannette M.
                and Ockerbloom, John },
  TITLE     = { Respectful Type Converters },
  YEAR      = { 2000 },
  JOURNAL   = { IEEE Transactions on Software Engineering },
  MONTH     = { July },
}

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