Paper  bibtex   

@book{reynolds_theories_1998,
	address = {New York},
	title = {Theories of programming languages},
	isbn = {978-0-511-82440-1},
	url = {http://public.eblib.com/choice/publicfullrecord.aspx?p=4637476},
	language = {English},
	urldate = {2019-09-24},
	publisher = {Cambridge University Press},
	author = {Reynolds, John C},
	year = {1998},
	note = {ZSCC: NoCitationData[s1] 
OCLC: 958546075
Citation Key Alias: reynolds1998, reynolds1998a}
}