Specification and design of software systems : Conference on operating systems. Visegrad, Hungary 23.- 27. Jan. 1982 - Knuth, E.; Neuhold, Erich J (Lecture Notes in Computer, 1983)