@book{12417,
	author = {Dijkstra, Edsger W.},
	title = {A discipline of programming},
	publisher = {Prentice-Hall},
	year = {1979},
	series = {Prentice-Hall series in Automatic Computation},
	address = {New Delhi},
	note = {"Eastern economy edition"}
}