1989
[AD89] André Arnold and Anne Dicky. An Algebraic Characterization of Transition System Equivalences. Information and Computation 82(2):198-229. Academic Press, August 1989. 
@article{icomp82(2)-AD,
  author =              {Arnold, Andr{\'e} and Dicky, Anne},
  title =               {An Algebraic Characterization of Transition System
                         Equivalences},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {82},
  number =              {2},
  pages =               {198-229},
  year =                {1989},
  month =               aug,
}
[AH89] Rajeev Alur and Thomas A. Henzinger. A Really Temporal Logic. In FOCS'89, pages 164-169. IEEE Comp. Soc. Press, October 1989. 
@inproceedings{focs1989-AH,
  author =              {Alur, Rajeev and Henzinger, Thomas A.},
  title =               {A Really Temporal Logic},
  booktitle =           {{P}roceedings of the 30th {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'89)},
  acronym =             {{FOCS}'89},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {164-169},
  year =                {1989},
  month =               oct,
}
[All89] Eric Allender. P-Uniform Circuit Complexity. Journal of the ACM 36(4):912-928. ACM Press, October 1989. 
@article{jacm36(4)-All,
  author =              {Allender, Eric},
  title =               {{P}-Uniform Circuit Complexity},
  publisher =           {ACM Press},
  journal =             {Journal of the~ACM},
  volume =              {36},
  number =              {4},
  pages =               {912-928},
  year =                {1989},
  month =               oct,
}
[ALW89] Martín Abadi, Leslie Lamport, and Pierre Wolper. Realizable and Unrealizable Specifications of Reactive Systems. In ICALP'89, Lecture Notes in Computer Science 372, pages 1-17. Springer-Verlag, July 1989. 
@inproceedings{icalp1989-ALW,
  author =              {Abadi, Mart{\'\i}n and Lamport, Leslie and Wolper,
                         Pierre},
  title =               {Realizable and Unrealizable Specifications of
                         Reactive Systems},
  editor =              {Ausiello, Giorgio and Dezani{-}Ciancaglini,
                         Mariangiola and Ronchi{ }Della{~}Rocca, Simona},
  booktitle =           {{P}roceedings of the 16th {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'89)},
  acronym =             {{ICALP}'89},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {372},
  pages =               {1-17},
  year =                {1989},
  month =               jul,
  doi =                 {10.1007/BFb0035748},
}
[AS89] Bowen Alpern and Fred B. Schneider. Verifying Temporal Properties without Temporal Logic. ACM Transactions on Programming Languages and Systems 11(1):147-167. ACM Press, January 1989. 
@article{toplas11(1)-AS,
  author =              {Alpern, Bowen and Schneider, Fred B.},
  title =               {Verifying Temporal Properties without Temporal
                         Logic},
  publisher =           {ACM Press},
  journal =             {ACM Transactions on Programming Languages and
                         Systems},
  volume =              {11},
  number =              {1},
  pages =               {147-167},
  year =                {1989},
  month =               jan,
}
[BT89] Dimitri P. Bertsekas and John N. Tsitsiklis. Parallel and distributed computation: numerical methods. Prentice Hall, 1989. 
@book{BP-pdc1989,
  author =              {Bertsekas, Dimitri P. and Tsitsiklis, John N.},
  title =               {Parallel and distributed computation: numerical
                         methods},
  publisher =           {Prentice Hall},
  year =                {1989},
}
[Gab89] Dov M. Gabbay. The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. In TLS'87, Lecture Notes in Computer Science 398, pages 409-448. Springer-Verlag, 1989. 
@inproceedings{tls1987-Gab,
  author =              {Gabbay, Dov M.},
  title =               {The Declarative Past and Imperative Future:
                         Executable Temporal Logic for Interactive Systems},
  editor =              {Banieqbal, Behnam and Barringer, Howard and Pnueli,
                         Amir},
  booktitle =           {{P}roceedings of the 1st {C}onference on {T}emporal
                         {L}ogic in {S}pecification ({TLS}'87)},
  acronym =             {{TLS}'87},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {398},
  pages =               {409-448},
  year =                {1989},
  confyear =            {1987},
  confmonth =           {4},
}
[HL89] Hans Hüttel and Kim Guldstrand Larsen. The Use of Static Constructs in a Modal Process Logic. In Logic at Botik 89 – Proceedings of the Symposium on Logical Foundations of Computer Science, Lecture Notes in Computer Science 363, pages 163-180. Springer-Verlag, July 1989. 
@inproceedings{botik89-HL,
  author =              {H{\"u}ttel, Hans and Larsen, Kim Guldstrand},
  title =               {The Use of Static Constructs in a Modal Process
                         Logic},
  editor =              {Meyer, Albert R. and Taitslin, Michael A.},
  booktitle =           {{L}ogic at {B}otik~89 -- {P}roceedings of the
                         {S}ymposium on {L}ogical {F}oundations of {C}omputer
                         {S}cience},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {363},
  pages =               {163-180},
  year =                {1989},
  month =               jul,
}
[HS89] Jaakko Hintikka and Gabriel Sandu. Informational Independence as a Semantical Phenomenon. In Proceedings of the 8th International Congress of Logic, Methodology and Philosophy of Science, Studies in Logic and the Foundations of Mathematics 70, pages 571-589. North-Holland, January 1989. 
@inproceedings{iclmps1989-HS,
  author =              {Hintikka, Jaakko and Sandu, Gabriel},
  title =               {Informational Independence as a Semantical
                         Phenomenon},
  editor =              {Fenstad, Jens Erik and Frolov, Ivan T. and
                         Hilppinen, Risto},
  booktitle =           {{P}roceedings of the 8th {I}nternational {C}ongress
                         of {L}ogic, {M}ethodology and {P}hilosophy of
                         {S}cience},
  publisher =           {North-Holland},
  series =              {Studies in Logic and the Foundations of Mathematics},
  volume =              {70},
  pages =               {571-589},
  year =                {1989},
  month =               jan,
  doi =                 {10.1016/S0049-237X(08)70066-1},
}
[IK89] Neil Immerman and Dexter C. Kozen. Definability with Bounded Number of Bound Variables. Information and Computation 83(2):121-139. Academic Press, November 1989. 
@article{icomp83(2)-IK,
  author =              {Immerman, Neil and Kozen, Dexter C.},
  title =               {Definability with Bounded Number of Bound Variables},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {83},
  number =              {2},
  pages =               {121-139},
  year =                {1989},
  month =               nov,
}
[Mil89] Robin Milner. Communication and concurrency. Prentice Hall International Series in Computer Science. Prentice Hall, December 1989. 
@book{Milner-CC1989,
  author =              {Milner, Robin},
  title =               {Communication and concurrency},
  publisher =           {Prentice Hall},
  series =              {Prentice Hall International Series in Computer
                         Science},
  year =                {1989},
  month =               dec,
}
[PR89] Amir Pnueli and Roni Rosner. On the Synthesis of a Reactive Module. In POPL'89, pages 179-190. ACM Press, January 1989. 
@inproceedings{popl1989-PR,
  author =              {Pnueli, Amir and Rosner, Roni},
  title =               {On the Synthesis of a Reactive Module},
  booktitle =           {Conference Record of the 16th {ACM} {S}ymposium on
                         {P}rinciples of {P}rogramming {L}anguages
                         ({POPL}'89)},
  acronym =             {{POPL}'89},
  publisher =           {ACM Press},
  pages =               {179-190},
  year =                {1989},
  month =               jan,
}
[PR89] Amir Pnueli and Roni Rosner. On the Synthesis of an Asynchronous Reactive Module. In ICALP'89, Lecture Notes in Computer Science 372, pages 652-671. Springer-Verlag, July 1989. 
@inproceedings{icalp1989-PR,
  author =              {Pnueli, Amir and Rosner, Roni},
  title =               {On the Synthesis of an Asynchronous Reactive Module},
  editor =              {Ausiello, Giorgio and Dezani{-}Ciancaglini,
                         Mariangiola and Ronchi{ }Della{~}Rocca, Simona},
  booktitle =           {{P}roceedings of the 16th {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'89)},
  acronym =             {{ICALP}'89},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {372},
  pages =               {652-671},
  year =                {1989},
  month =               jul,
}
[RW89] Peter J. Ramadge and W. Murray Wonham. The Control of Discrete Event Systems. Proceedings of the IEEE 77(1):81-98. IEEE Comp. Soc. Press, January 1989. 
@article{ieee77(1)-RW,
  author =              {Ramadge, Peter J. and Wonham, W. Murray},
  title =               {The Control of Discrete Event Systems},
  publisher =           {IEEE Comp. Soc. Press},
  journal =             {Proceedings of the IEEE},
  volume =              {77},
  number =              {1},
  pages =               {81-98},
  year =                {1989},
  month =               jan,
}
[Saf89] Shmuel Safra. Complexity of Automata on Infinite Objects. PhD thesis, Weizmann Institute of Science, Rehovot, Israel, March 1989. 
@phdthesis{phd-safra,
  author =              {Safra, Shmuel},
  title =               {Complexity of Automata on Infinite Objects},
  year =                {1989},
  month =               mar,
  school =              {Weizmann Institute of Science, Rehovot, Israel},
}
[SE89] Robert S. Streett and E. Allen Emerson. An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus. Information and Computation 81(3):249-264. Academic Press, 1989. 
@article{icomp81(3)-SE,
  author =              {Streett, Robert S. and Emerson, E. Allen},
  title =               {An Automata Theoretic Decision Procedure for the
                         Propositional Mu-Calculus},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {81},
  number =              {3},
  pages =               {249-264},
  year =                {1989},
}
[Var89] Moshe Y. Vardi. A Note on the Reduction of Two-Way Automata to One-Way Automata. Information Processing Letters 30(5):261-264. Elsevier, March 1989. 
@article{ipl30(5)-var,
  author =              {Vardi, Moshe Y.},
  title =               {A Note on the Reduction of Two-Way Automata to
                         One-Way Automata},
  publisher =           {Elsevier},
  journal =             {Information Processing Letters},
  volume =              {30},
  number =              {5},
  pages =               {261-264},
  year =                {1989},
  month =               mar,
}
List of authors