Bjørner, Dines (ed.) et al., Perspectives of system informatics. Second international Andrei Ershov memorial conference, Akademgorodok, Novosibirsk, Russia, June 25–28, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1181, 350-361 (1996).