Börger, Egon, et al. “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines.”10.1007/978-1-4615-2237-9_5__Semantics of VHDL, edited by C. Delgado Kloos and Peter T. Breuer, Kluwer Academic Publishers, 1995, pp. 107–39, doi:10.1007/978-1-4615-2237-9_5.