A categorist's view of automata and systems

著者: Michael A. Arbib, Ernest G. Manes - Lecture notes in computer science 1974 被引用: 22