@inproceedings{binding,
	author={Pamela Zave},
	booktitle={Proceedings of the Fourteenth International Symposium on Formal Methods},
	pages={332-347},
	publisher={Springer-Verlag LNCS 4085},
	title={Compositional binding in network domains},
	year=2006,
}