25 books found
by Conference on Operating Systems (1982 Visegrad, Hungary)
by World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France)