@book{69799,
	author = {School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, the Netherlands, 1988 and Bakker, J. W. de},
	title = {Linear time,},
	publisher = {Springer-Verlag,},
	year = {1989},
	address = {Berlin :}
}