DENOTATIONAL DESCRIPTION OF PROGRAMMING LANGUAGES: AN INTRODUCTION - GORDON,MICHAEL J C (SV NEW YORK, 1979)