Mathematical Theory and Software Practice: Proc. Soviet-Bulgarian Workshop, Novosibirsk

(1982)