Comments on "On the Proof of a Distributed Algorithm": Always-Tru is not Invariant

@article{Gasteren1990CommentsO,
  title={Comments on "On the Proof of a Distributed Algorithm": Always-Tru is not Invariant},
  author={A. J. M. van Gasteren and Gerard Tel},
  journal={Inf. Process. Lett.},
  year={1990},
  volume={35},
  pages={277-279}
}