Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw. Specifying internet applications with DiCons. In Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), March 11-14, 2001, Las Vegas, NV, USA. pages 576-584, ACM, 2001. [doi]
Abstract is missing.