Proceeding on operation systems: Specification and design of software systems - Knuth E Ed.; Conference on aperating systems: Specification and design of software systems (1982 : Hungary); Neuhold EJ Ed. (Berlin Springer-Verlag, 1983)
Keywords: software design