@article{Stoller94,
  author="Scott Stoller",
  title = "Addendum to ``{Proof Rules for Flush Channels}''",
  journal="IEEE Transactions on Software Engineering",
  volume=20,
  number=8,
  month=aug,
  year=1994,
  pages="664"
}