ESEC : proceedings. (Lecture notes in computer science., 1987)