Leonard R. Marino General Theory of Metastable Operation. 107-115 1981 30 IEEE Trans. Computers 2 db/journals/tc/tc30.html#Marino81