Todorova, M. 2000. The SLRS synchronous imperative programming language. Ann. Sofia Univ. Fac. Math. and Inf. 92, (Dec. 2000), 75–86.