1ref.bib:0,249 mckusi bloom karels bug fixes change system manage manual berkel softwa distri virtua vax versio associ berkel 1986 2ref.bib:249,216 karels change kernel system manage manual berkel softwa distri virtua vax versio associ berkel 1986 3ref.bib:465,181 leffle mckusi karels quarte design implem unix operat system addiso wesley readin 1989 4