WINSKEL, G. THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES:AN INTRODUCTION - LONDON : ENGLAND 2001 - 361 p. ISBN: 0000262731037 Subjects--Topical Terms: PROGRAMMING LANGUAGES : Dewey Class. No.: 005.131 / W35