Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings - Neuhold, Erich J.; Knuth, E. (Elʺod), 1943- (Lecture notes in computer science ;, 1983)