Nagisa Ishiura Hiroto Yasuura Shuzo Yajima NES: The Behavioral Model for the Formal Semantics of a Hardware Design Language UDL/I. 8-13 1990 DAC http://doi.acm.org/10.1145/123186.123191 db/conf/dac/dac90.html#IshiuraYY90