André Arnold Topological Characterizations of Infinite Behaviours of Transition Systems. 28-38 1983 conf/icalp/1983 ICALP db/conf/icalp/icalp83.html#Arnold83 http://dx.doi.org/10.1007/BFb0036895