@techreport{krzysostrowski2007pf,
	
	author = {Krzysztof Ostrowski and Ken Birman and Danny Dolev},
	title = {{D}eclarative {R}eliable {M}ulti-{P}arty {P}rotocols},
	institution = {{C}ornell {U}niversity},
	year = {2007},
	type = {{T}echnical {R}eport},
	note = "http://hdl.handle.net/1813/8221" 
}