FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE - MAHESHWARI,S.N (ED) (SV BERLIN, 1985)