David Harel, Hillel Kugler
Synthesizing State-Based Object Systems from LSC Specifications
CIAA, 2002.
@article{CIAA-J-2000-HarelK02, author = "David Harel and Hillel Kugler", doi = "10.1142/S0129054102000935", journal = "{International Journal of Foundations of Computer Science}", number = 1, pages = "5--51", publisher = "{World Scientific}", title = "{Synthesizing State-Based Object Systems from LSC Specifications}", volume = 13, year = 2002, }