Author: Conference on System Theoretical Aspects in Computer Science (1982 Salgótarján, Hungary)