# "@(#)bibinc.fullnames 2.12 %G%";
# full journal names, and other names
D BSTJ Bell System Technical Journal
D CACM Communications of the ACM
D COMPJOUR The Computer Journal
D COMPLANG Journal of Computer Languages
D COMPSUR ACM Computing Surveys
D HCI Human-Computer Interaction
D I&C Information and Control
D IBMJRD IBM Journal of Research and Development
D IBMSJ IBM Systems Journal
D IEEETSE IEEE Transactions on Software Engineering
D IEEETSMC IEEE Transactions on Systems, Man, and Cybernetics
D IEEETC IEEE Transactions on Computers
D IJCIS International Journal of Computer and Information Sciences
D IJMMS International Journal of Man-Machine Studies
D IPL Information Processing Letters
D JACM Journal of the ACM
D JCSS Journal of Computer and System Sciences
D JS&S Journal of Systems and Software
D MATHST Mathematics Systems Theory
D NMATH Numerical Mathematics
D SIAMJC Siam Journal on Computing
D SIAMJNA Siam Journal on Numerical Analysis
D SIGCHI ACM S\&IGCHI Bulletin
D SIGPLAN SI\&GPLAN Notices
D SIGSOFT Software Engineering Notes
D SP&E Software\(emPractice & Experience
D SPE Software\(emPractice & Experience
D TOCS ACM Transactions on Computer Systems
D TODS ACM Transactions on Database Systems
D TOMS ACM Transactions on Mathematical Software
D TOOIS ACM Transactions on Office Information Systems
D TOPLAS ACM Transactions on Programming Languages and Systems
D ASPLOS82 PROC of the SYMP on Architectural Support for Programming Languages and Operating Systems, ACM SIGPLAN\
D CCC79 PROC of the ACM SI\&GPLAN 1979 SYMP on Compiler Construction, SIGPLAN\
D CCC82 PROC of the ACM SI\&GPLAN 1982 SYMP on Compiler Construction, SIGPLAN\
D CCC84 PROC of the ACM SI\&GPLAN 1984 SYMP on Compiler Construction, SIGPLAN\
D CHI83 PROC S\&IGCHI CONF on Human Factors in Computing Systems\
D CHI85 PROC S\&IGCHI CONF on Human Factors in Computing Systems\
D CHI86 PROC S\&IGCHI CONF on Human Factors in Computing Systems\
D CHI87 PROC S\&IGCHI CONF on Human Factors in Computing Systems\
D ICSE International CONF on Software Engineering
D IJCAI International Joint CONF on Artificial Intelligence
D OIS82 PROC S\&IGOA CONF on Office Information Systems\
D OIS84 PROC Second ACM-S\&IGOA CONF on Office Information Systems\
D OIS86 PROC Third ACM-S\&IGOIS CONF on Office Information Systems\
D OOPS86 Object-Oriented Programming Systems, Languages and Applications CONF Proceedings\
D OOPS87 Object-Oriented Programming Systems, Languages and Applications CONF Proceedings\
D PLISS83 PROC ACM SI\&GPLAN 1983 SYMP on Programming Language Issues in Software Systems, SIGPLAN\
D POPL ACM SYMP on Principles of Programming Languages
D POPL1 CONF Record of the First POPL\
D POPL2 CONF Record of the Second POPL\
D POPL3 CONF Record of the Third POPL\
D POPL4 CONF Record of the Fourth POPL\
D POPL5 CONF Record of the Fifth POPL\
D POPL6 CONF Record of the Sixth POPL\
D POPL7 CONF Record of the Seventh POPL\
D POPL8 CONF Record of the Eighth POPL\
D POPL9 CONF Record of the Ninth POPL\
D POPL10 CONF Record of the Tenth POPL\
D POPL11 CONF Record of the Eleventh POPL\
D POPL12 CONF Record of the Twelfth POPL\
D POPL13 CONF Record of the Thirteenth POPL\
D POPL14 CONF Record of the Fourteenth POPL\
D PSDE84 PROC of the ACM S\&IGSOFT/S\&IGPLAN Software Engineering SYMP on Practical Software Development Environments\
D PSDE86 PROC of the ACM S\&IGSOFT/S\&IGPLAN Software Engineering SYMP on Practical Software Development Environments\
D SEEPIL Workshop on Software Engineering Environments for\
Programming-in-the-Large\
D TEXT81 PROC of the ACM S\&IGPLAN S\&IGOA SYMP on Text Manipulation\
D STOC Annual ACM SYMP on Theory of Computing
D FOCS Annual SYMP on Foundations of Computer Science
D SOSP SYMP on Operating System Principles
D JICAI Joint International CONF on Artificial Intelligence
D HICSS Hawaii International CONF on System Science
D ADA80 PROC of the ACM-SI\&GPLAN Symposium on the Ada Programming Language, SIGPLAN\
D FJCC Fall Joint Computer Conference
D SJCC Spring Joint Computer CONF
D JER3 PROC Third Jerusalem CONF on Information Technology\
D WJCC PROC Western Joint Computer CONF
I BMACLIB/bibinc.publishers
D UATR UNIV of Arizona TR
D DCS DEPT of Computer Science
D CSD Computer Science DEPT
D ERL Electronics Research Laboratory
D BTLMH Bell Laboratories\
D BTLHO Bell Laboratories\
D CMU Carnegie-Mellon University\
D CSLI Center for the Study of Language and Information\
D IBMRD IBM CORP, Research Division
D MITLCS MIT Laboratory for Computer Science\
D MITAI MIT Artificial Intelligence Laboratory\
D SUCS CSD, Stanford University
D SUCSL Computer Systems Lab., Stanford Electronics Lab., Dept. of Electrical Engineering and Computer Science
D SUEE Department of Electrical Engineering, Stanford University
D TUM Technische Universita\*`t Mu\*`nchen
D UCB University of California, Berkeley
D UCBCS Computer Science Division, EECS, UCB\
D XEROXISL Intelligent Systems Laboratory, XEROXPARC
D XEROXPARC Xerox Palo Alto Research Center\