@article{HK00,
         author = {D. Harel and H. Kugler},
         title = "{Synthesizing State-Based Object Systems 
         from LSC Specifications}",
         journal = {International Journal of Foundations of Computer Science},
         VOLUME = 13, 
         number = 1,
         month = {Febuary},
         year = 2002,
         pages = {5--51},
         note  = {(Also in {\it Proc.\ 5th Int. Conf. on Implementation and
		 Application of Automata} (CIAA 2000), Springer-Verlag, pp. 1--33,
		 Preliminary version appeared as technical report MCS99-20, 
		 Weizmann Institute of Science, 1999. )} 
}