@article{Stoller&95c,
author="Scott D. Stoller and Fred B. Schneider",
title="Verifying Programs that use Causally-ordered Message-passing",
journal="Science of Computer Programming",
volume=24,
number=2,
year=1995,
pages="105-128"
}