@book{33236,
	author = {Nori, Kesav V.},
	title = {Foundations of software technology and theoretical computer science },
	publisher = {: Springer-Verlag,},
	year = { ©1987.},
	address = {Berlin ; New York }
}