Author: IFIP TC2 Conference on System Description Methodologies (1983 Kecskemét, Hungary)