L
[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,
}
List of authors