@inproceedings{interop,
	author={Pamela Zave},
	booktitle={Proceedings of the Thirteenth International Symposium on Formal Methods},
	pages={318-333},
	publisher={Springer-Verlag LNCS 3582},
	title={A formal model of addressing for interoperating networks},
	year=2005,
}