Andrew Tjang, Fábio Oliveira, Richard P. Martin, Thu D. Nguyen. A: an assertion language for distributed systems. In Christian W. Probst, editor, Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006, San Jose, California, USA, October 22, 2006. pages 8, ACM, 2006. [doi]