NASA contractor report CR (series). 1272. Boundedness theorems and other mathematical studies of Hodgkin-Huxley type system of differential equations, numerical treatment of thresholds and stationary values [with list of references]; Stephen W. Brady.