@inproceedings{conf/fm/Zave06,
	title = {Compositional Binding in Network Domains.},
	author = {Pamela Zave},
	booktitle = {FM},
	crossref = {conf/fm/2006},
	editor = {Jayadev Misra and Tobias Nipkow and Emil Sekerinski},
	pages = {332-347},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/fm/fm2006.html#Zave06},
	volume = {4085},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2bb02ba7e1dcd38611841e87d8fb2756c/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/11813040_23}, isbn = {3-540-37215-6}, date = {2006-08-22},
	keywords = {dblp }
}