Specification and design of software systems : Conference on Operating Systems, Visegrad, Hungary, January 23-27, 1982, proceedings - Conference on Operating Systems (1982 : Visegrad, Hungary); Knuth, E.; Neuhold, Erich J. (Berlin : Springer-Verlag, 1983)
Keywords: System design -- Congresses; Operating systems (Computers) -- Congresses; Computer programs -- Specifications -- Congresses