Fernanda Botelho Max H. Garzon Boolean Neural Nets are Observable. 51-61 1994 134 Theor. Comput. Sci. 1 db/journals/tcs/tcs134.html#BotelhoG94