2000. The SLRS synchronous imperative programming language. Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics. 92, (Dec. 2000), 75–86.