Proceedings of the Second International Andrei Ershov Memorial Conference on Perspectives of System Informatics LNCS 1161 Springer-Verlag, 1996

(1996)