@article{3247,
  author       = {{Fischer, Clemens and Wehrheim, Heike}},
  journal      = {{Bulletin of the {EATCS}}},
  pages        = {{92----101}},
  title        = {{{Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method}}},
  year         = {{2000}},
}