@book{2134,
	author = {Jensen, Kathleen},
	title = {Pascal},
	publisher = {Springer Verlag},
	year = {1979},
	edition = {2a ed.}
}