SL1 Language-A Specification and Design Tool for Switching Systems Software Development. - Matija Exel; Branislav T. Popovic; Francek Prijatelj (IEEE Trans. Commun., 1982)