RECORD OF 2ND CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE,1982 - NCST (NCST BOMBAY, 1982)