SCIENCE OF COMPUTER PROGRAMMING, VOL.9,1987 - BOUND VOLUME (NH AMSTERDAM, 1987)