Descriptional Complexity of Formal Systems : 24th IFIP WG 1.02 International Conference | DealShopping UK