- J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings. Volume 354 of Lecture Notes in Computer Science, Springer, 1989.