School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, Rozenberg, G., Bakker, J. W. d., & Roever, W. d. (1989). Linear time, branching time, and partial order in logics and models for concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988. Springer-Verlag.
Chicago-referens (17:e uppl.)School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, Grzegorz Rozenberg, J. W. de Bakker, och W.-P. de Roever. Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988. Berlin ; New York: Springer-Verlag, 1989.
MLA-referens (8:e uppl.)School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, et al. Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988. Springer-Verlag, 1989.