"Test System for a Restricted Class of LOTOS Expressions with Data Parameters."

Teruo Higashino et al. (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics