Foundations of system theory: finitary and infinitary conditions. - Anderson, Brian D. O.; Arbib, M. A.; Manes, Ernest G. (Berlin : Springer Verlag, 1976)