@article{https://resolver.caltech.edu/CaltechAUTHORS:20190410-120619515,
    title = "A multi-paradigm language for reactive synthesis",
    journal = "Electronic Proceedings in Theoretical Computer Science (EPTCS)",
    year = "2016",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20190410-120619515",
    id = "record",
    issn = "2075-2180",
    doi = "10.4204/EPTCS.202.6",
    volume = "202"
}