FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE - NORI,KESAV V (ED) (SV BERLIN, 1986)