@book{24377,
	author = {APPLIED},
	title = {Applied Formal Methods FM-tRENDS 98},
	publisher = {New York},
	address = {New York}
}