@book{12472,
	author = {Bjorner, D. and Oest, O. N. ,ed. and Oest, O. N. ; jt. ed.},
	title = {Towards a formal description of Ada.},
	publisher = {Springer-Verlag},
	year = {1980},
	series = {Lecture notes in Computer Science},
	address = {Berlin}
}