Giovanni PighizziniBooksSOFSEM 2019 : Theory and Practice of Computer ScienceDescriptional Complexity of Formal SystemsMathematical Foundations of Computer Science 2015Author data: Open Library