Title: A theory of information systems
Subjects: Formal languages, Machine theory