# abbreviated journal names, and other names
D BSTJ Bell System Tech. J.
D COMPLANG J. Computer Lang.
D COMPSUR Computing Surveys
D IEEETSE IEEE Trans. on Software Eng.
D IEEETC IEEE Trans. on Computers
D JCSS J. Computer and System Sciences
D SIGPLAN SI\&GPLAN Notices
D SIGSOFT Software Eng. Notes
D SP&E Software\*(emPractice & Experience
D TODS ACM Trans. Database Systems
D TOPLAS ACM Trans. Prog. Lang. and Systems
D POPL ACM SYMP on Prin. of Programming Languages
D POPL3 CONF Rec. 3rd POPL
D POPL4 CONF Rec. 4th POPL
D POPL5 CONF Rec. 5th POPL
D POPL6 CONF Rec. 6th POPL
D POPL7 CONF Rec. 7th POPL
D POPL8 CONF Rec. 8th POPL
D POPL9 CONF Rec. 9th POPL
D POPL10 CONF Rec. 10th POPL
D STOC Annual ACM SYMP on Theory of Computing
D FOCS Annual SYMP on Foundations of Computer Science
D SOSP SYMP on Operating System Prin.
D ICSE Int. CONF on Software Eng.
I BMACLIB/bibinc.publishers
D DCS DEPT of Computer Science
D CSD Computer Science DEPT