1980
[AN80] André Arnold and Maurice Nivat. The metric space of infinite trees. Algebraic and topological properties. Fundamenta Informaticae 3(4):445-476. IOS Press, 1980. 
@article{fundi3(4)-AN,
  author =              {Arnold, Andr{\'e} and Nivat, Maurice},
  title =               {The metric space of infinite trees. Algebraic and
                         topological properties},
  publisher =           {IOS Press},
  journal =             {Fundamenta Informaticae},
  volume =              {3},
  number =              {4},
  pages =               {445-476},
  year =                {1980},
}
[Ang80] Dana Angluin. On Counting Problems and the Polynomial Hierarchy. Theoretical Computer Science 12:161-173. Elsevier, 1980. 
@article{tcs12()-Ang,
  author =              {Angluin, Dana},
  title =               {On Counting Problems and the Polynomial Hierarchy},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {12},
  pages =               {161-173},
  year =                {1980},
}
[Bur80] John P. Burgess. Decidability for Branching Time. Studia Logica 39(2-3):203-218. Kluwer Academic, 1980. 
@article{studlog39(2-3)-Bur,
  author =              {Burgess,John P.},
  title =               {Decidability for Branching Time},
  publisher =           {Kluwer Academic},
  journal =             {Studia Logica},
  volume =              {39},
  number =              {2-3},
  pages =               {203-218},
  year =                {1980},
}
[CE80] Edmund M. Clarke and E. Allen Emerson. Characterizing properties of parallel programs as fixpoints. In ICALP'80, Lecture Notes in Computer Science 85, pages 169-181. Springer-Verlag, July 1980. 
@inproceedings{icalp1980-CE,
  author =              {Clarke, Edmund M. and Emerson, E. Allen},
  title =               {Characterizing properties of parallel programs as
                         fixpoints},
  editor =              {de~Bakker, Jaco W. and van Leeuwen, Jan},
  booktitle =           {{P}roceedings of the 7th {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'80)},
  acronym =             {{ICALP}'80},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {85},
  pages =               {169-181},
  year =                {1980},
  month =               jul,
}
[EC80] E. Allen Emerson and Edmund M. Clarke. Characterizing Correctness Properties of Parallel Programs Using Fixpoints. In ICALP'80, Lecture Notes in Computer Science 85, pages 169-181. Springer-Verlag, July 1980. 
@inproceedings{icalp1980-EC,
  author =              {Emerson, E. Allen and Clarke, Edmund M.},
  title =               {Characterizing Correctness Properties of Parallel
                         Programs Using Fixpoints},
  editor =              {de~Bakker, Jaco W. and van Leeuwen, Jan},
  booktitle =           {{P}roceedings of the 7th {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'80)},
  acronym =             {{ICALP}'80},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {85},
  pages =               {169-181},
  year =                {1980},
  month =               jul,
}
[Gol80] Leslie M. Goldschlager. A Space Efficient Algorithm for the Monotone Planar Circuit Value Problem. Information Processing Letters 10(1):25-27. Elsevier, February 1980. 
@article{ipl10(1)-Gol,
  author =              {Goldschlager, Leslie M.},
  title =               {A Space Efficient Algorithm for the Monotone Planar
                         Circuit Value Problem},
  publisher =           {Elsevier},
  journal =             {Information Processing Letters},
  volume =              {10},
  number =              {1},
  pages =               {25-27},
  year =                {1980},
  month =               feb,
}
[GPS+80] Dov M. Gabbay, Amir Pnueli, Saharon Shelah, and Jonathan Stavi. On the Temporal Analysis of Fairness. In POPL'80, pages 163-173. ACM Press, January 1980. 
@inproceedings{popl1980-GPSS,
  author =              {Gabbay, Dov M. and Pnueli, Amir and Shelah, Saharon
                         and Stavi, Jonathan},
  title =               {On the Temporal Analysis of Fairness},
  booktitle =           {Conference Record of the 7th {ACM} {S}ymposium on
                         {P}rinciples of {P}rogramming {L}anguages
                         ({POPL}'80)},
  acronym =             {{POPL}'80},
  publisher =           {ACM Press},
  pages =               {163-173},
  year =                {1980},
  month =               jan,
}
[Hoa80] Charles Antony Richard Hoare. A Model for Communicating Sequential Processes. In R. M. McKeag and A. M. MacNaghten (eds.), On the Construction of Programs – An advanced course. Cambridge University Press, 1980. 
@incollection{CPAC-CSP-Hoare,
  author =              {Hoare, Charles Antony Richard},
  title =               {A Model for Communicating Sequential Processes},
  editor =              {McKeag, R. M. and MacNaghten, A. M.},
  booktitle =           {On the Construction of Programs~-- An advanced
                         course},
  publisher =           {Cambridge University Press},
  pages =               {229-254},
  year =                {1980},
}
[Kun80] Kenneth Kunen. Set Theory. Elsevier, 1980. 
@book{SetT-Kunen,
  author =              {Kunen, Kenneth},
  title =               {Set Theory},
  publisher =           {Elsevier},
  year =                {1980},
}
[Lam80] Leslie Lamport. ``Sometimes'' is sometimes ``Not Never''. In POPL'80, pages 174-185. ACM Press, January 1980. 
@inproceedings{popl1980-Lam,
  author =              {Lamport, Leslie},
  title =               {``{S}ometimes'' is sometimes ``{N}ot {N}ever''},
  booktitle =           {Conference Record of the 7th {ACM} {S}ymposium on
                         {P}rinciples of {P}rogramming {L}anguages
                         ({POPL}'80)},
  acronym =             {{POPL}'80},
  publisher =           {ACM Press},
  pages =               {174-185},
  year =                {1980},
  month =               jan,
}
[Mad80] Roger Maddux. The equational theory of CA3 is undecidable. Journal of Symbolic Logic 45(2):311-316. Association for Symbolic Logic, June 1980. 
@article{jsl45(2)-Mad,
  author =              {Maddux, Roger},
  title =               {The equational theory of \(CA_{3}\) is undecidable},
  publisher =           {Association for Symbolic Logic},
  journal =             {Journal of Symbolic Logic},
  volume =              {45},
  number =              {2},
  pages =               {311-316},
  year =                {1980},
  month =               jun,
  doi =                 {10.2307/2273191},
}
[Mil80] Robin Milner. A Calculus of Communicating Systems. Lecture Notes in Computer Science 92. Springer-Verlag, 1980. 
@book{Milner-lncs92,
  author =              {Milner, Robin},
  title =               {A Calculus of Communicating Systems},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {92},
  year =                {1980},
}
[ON80] Hiroakira Ono and Akira Nakamura. On the Size of Refutation Kripke Models for Some Linear Modal and Tense Logics. Studia Logica 39(4):325-333. Kluwer Academic, 1980. 
@article{studlog39(4)-ON,
  author =              {Ono, Hiroakira and Nakamura, Akira},
  title =               {On the Size of Refutation Kripke Models for Some
                         Linear Modal and Tense Logics},
  publisher =           {Kluwer Academic},
  journal =             {Studia Logica},
  volume =              {39},
  number =              {4},
  pages =               {325-333},
  year =                {1980},
}
[Sip80] Michael Sipser. Halting Space-bounded Computations. Theoretical Computer Science 10(3):335-338. Elsevier, 1980. 
@article{tcs10(3)-Sip,
  author =              {Sipser, Michael},
  title =               {Halting Space-bounded Computations},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {10},
  number =              {3},
  pages =               {335-338},
  year =                {1980},
}
List of authors