Takeshi Sakai Yoshiyuki Tsuchida Hiroto Yasuura Yasushi Ooi Yoshitsugu Ono Hiroshi Kano Shinji Kimura Shuzo Yajima An Interactive Simulation System for structured logic design - ISS. 747-754 1982 DAC http://doi.acm.org/10.1145/800263.809285 conf/dac/1982 db/conf/dac/dac1982.html#SakaiTYOOKKY82