Thomas A. Henzinger Rupak Majumdar A Classification of Symbolic Transition Systems. 13-34 2000 conf/stacs/2000 STACS http://link.springer.de/link/service/series/0558/bibs/1770/17700013.htm db/conf/stacs/stacs2000.html#HenzingerM00