@inproceedings{Santos-R-C-M-2018,
address={New York, NY, USA},
author={Rodrigo C.~M.~Santos and Guilherme F.~Lima and Francisco Sant'Anna and Roberto Ierusalimschy and Edward H.~Haeusler},
booktitle={Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES~2018), Philadelphia, PA, USA, 19--20 June, 2018},
doi={10.1145/3211332.3211334},
isbn={978-1-4503-5803-3},
location={Philadelphia, PA, USA},
numpages={18},
pages={1--18},
publisher={ACM},
registered={2018-06-24, Campinas},
series={LCTES 2018},
title={A Memory-bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language CÉU},
url={http://doi.acm.org/10.1145/3211332.3211334},
year={2018},
}