@STRING{acmpopl = "ACM Symposium on Principles of Programming Languages"} @STRING{ieeesoft = "IEEE Software"} @string{mst ={Mathematical Systems Theory}} @string{mscs = {Mathematical Structures in Computer Science}} @STRING{notices = "SIGPLAN Notices"} @STRING{swpe = "Software --- Practice and Experience"} @STRING{iandc = "Information and Computation"} @STRING{ic = "Information and Computation"} @STRING{infco = "Information and Control"} @STRING{ieees = "IEEE Software"} @STRING{ieeec = "IEEE Computer"} @STRING{ieeetit = "IEEE Transactions on Information Theory"} @STRING{jlc = "Journal of Logic and Computation"} @STRING{jlp = "Journal of Logic Programming"} @STRING{jfp = "Journal of Functional Programming"} @STRING{ PH = "Prentice Hall"} @STRING{ AW = "Addison-Wesley"} @STRING{ SP = "Springer-Verlag"} @STRING{ JW = "John Wiley \& Sons"} @STRING{ MIT = "MIT Press"} @STRING{ ESP = "Elsevier Science Publishers"} @STRING{ EH = "Ellis Horwood"} @STRING{ig = "(in german)"} @STRING{tcj = "Computer Journal"} @STRING{lasc = "Lisp and Symbolic Computation"} @string{loplas = "Letters on Programming Languages and Systems"} @STRING{jpldi = "Journal of Programming Languages"} @STRING{jsc = "Journal of Symbolic Computation"} @STRING{scp = "Science of Programming"} @string{LNCS = {Lecture Notes in Computer Science}} @string{ENTCS = "Electronic Notes in Theoretical Computer Science"} %%%GILLES @string{springer=SP}