@book{120269,
	author = {Israel Symposium on the Theory of Computing and Systems (1992 : Haifa, Israel) and Dolev, D.},
	title = {Theory of computing and systems : ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992 : proceedings /},
	publisher = {Springer-Verlag,},
	year = {1992},
	address = {Berlin :}
}