B
[BH81] Arthur J. Bernstein and Jr. Harter. Proving Real-Time Properties of Programs with Temporal Logic. In SOSP'81, Operating System Review 15(5), pages 1-11. ACM Press, December 1981. 
@inproceedings{sosp1981-BH,
  author =              {Bernstein, Arthur J. and Harter, Paul K., Jr.},
  title =               {Proving Real-Time Properties of Programs with
                         Temporal Logic},
  booktitle =           {{P}roceedings of the 8th {ACM} {S}ymposium on
                         {O}perating {S}ystems {P}rinciples ({SOSP}'81)},
  acronym =             {{SOSP}'81},
  publisher =           {ACM Press},
  series =              {Operating System Review},
  volume =              {15},
  number =              {5},
  pages =               {1-11},
  year =                {1981},
  month =               dec,
}
List of authors