The SLRS Synchronous Imperative Programming Language. Ann. Sofia Univ. Fac. Math. and Inf. 2000, 92, 75-86.