@inproceedings{SAC-2001-BaetenBM,
	author        = "Jos C. M. Baeten and Harm M. A. van Beek and Sjouke Mauw",
	booktitle     = "{Proceedings of the 16th Symposium on Applied Computing}",
	doi           = "10.1145/372202.372466",
	pages         = "576--584",
	publisher     = "{ACM}",
	title         = "{Specifying internet applications with DiCons}",
	year          = 2001,
}