A Formal Definition of an Abstract VHDL Simulator by EA-Machines
E. Börger, U. Glässer, W. Müller, in: C. Delgado Kloos, P.T. Breuer (Eds.), Semantics of VHDL, Kluwer Academic Publishers, Dordrecht, 1995, pp. 107–139.

Linear mean estimation of weakly stationary stochastic processes under the aspects of optimality and asymptotic optimality
R. Lasser, M. Rösler, Stochastic Processes and Their Applications 38 (1991) 279–293.