Susanne Graf Joseph Sifakis Readiness Semantics for Regular Processes with Silent Actions. 115-125 1987 conf/icalp/1987 ICALP db/conf/icalp/icalp87.html#GrafS87 http://dx.doi.org/10.1007/3-540-18088-5_10