@book{2120,
	author = {Jensen, Kathleen},
	title = {Pascal user manual and report},
	publisher = {Springer Verlag},
	year = {1978},
	edition = {2a ed.}
}