@book{24456,
	author = {Smolka Gert  [Ed]},
	title = {Lectures In Computer Science  :Programming Languages And Systems},
	publisher = {London},
	address = {London}
}