Title: Descriptional Complexity of Formal Systems
            
                Lecture Notes in Computer Science  Theoretical Computer Sci
Subjects: Logic design, Computer science, Software engineering, Formal languages, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Computation by Abstract Devices