David Harel Hillel Kugler Synthesizing State-Based Object Systems from LSC Specifications. 5-51 2002 13 Int. J. Found. Comput. Sci. 1 http://www.worldscinet.com/ijfcs/13/1301/S0129054102000935.html db/journals/ijfcs/ijfcs13.html#HarelK02