K. Yue The Architecture of an Integrated Symbolic Simulator. 984-991 1988 IEA/AIE (Vol. 2) http://doi.acm.org/10.1145/55674.55716 db/conf/ieaaie/ieaaie1988-2.html#Yue88a