D. Lippert Interval Temporal Logic and Star-Free Expressions. 187-198 1988 conf/csl/1988 CSL db/conf/csl/csl88.html#Lippert88 http://dx.doi.org/10.1007/BFb0026302