@book{169433,
	author = {FORTE 2001 and Kim, Myungchul. and ebrary, Inc.},
	title = {Formal techniques for networked and distributed systems},
	publisher = {Kluwer Academic,},
	year = {c2001.},
	address = {New York :},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10052659}
}