...Models of Hardware," in Category Theory and Computer Science, LNCS, 283, 98-113 (1987). Wright, JB, JA Goguen, JW Thatcher, and EG Wagner, "Rational Algebraic Theories and Fixed Point Solutions," in Proc. 17th IEEE Symposium on Foundations of Computer Science, Houston, Texas, 1976. DE RYDEHEARD COMPUTER...