@book{216601,
	author = {WINSKEL,GLYNN},
	title = {THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES: AN INTRODUCTION},
	publisher = {THE MIT PRESS},
	year = {1993},
	address = {CAMBRIDGE},
	edition = {2ND EDITION},
	note = {INCLUDES BIBLIOGRAPHICAL REFERENCES AND INDEXES}
}