Johannes Borgström Uwe Nestmann Luc Onana Alima Dilian Gurov Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. 250-265 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3267&spage=250 2004 conf/gc/2004 Global Computing db/conf/gc/gc2004.html#BorgstromNAG04