@inproceedings{KV01,
	author	    =   "O. Kupferman and M.Y. Vardi",
        title       =   "Synthesizing distributed Systems", 
	booktitle   =   "Proc. 16th {IEEE} Symp. on Logic in
			 Computer Science",
        month       =   "July",
        year        =   "2001",
}