Bibtex:

@article{MZW97,
  AUTHOR    = { Moormann Zaremski, Amy
                and Wing, Jeannette M. },
  TITLE     = { Specification Matching Software Components },
  BOOKTITLE = { ACM Transactions on Software Engineering and Methodology },
  YEAR      = { 1997 },
  MONTH     = { October },
}

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