Michal Hospodár, Galina Jirásková, Stavros Konstantinidis Descriptional Complexity of Formal Systems - Springer Springer 2019 ISBN: 9783030232474 Source: EBOOK