ACM COMPUT SURV
ACM SIGPLAN NOTICES
ACM T PROGR LANG SYS
ACTA INFORM
ALGORITHMICA
APPL ALGEBR ENG COMM
COMPUT COMPLEX
COMPUT J
COMPUT LANG
COMPUT SECUR
CONCURR COMP-PRACT E
DISTRIB COMPUT
FORM METHOD SYST DES
INFORM COMPUT
INFORM PROCESS LETT
J ACM
J ALGORITHM
J AUTOM REASONING
J COMPUT SYST SCI
J CRYPTOL
J LOGIC ALGEBR PROGR
J LOGIC COMPUT
PROGRAM COMPUT SOFT+
RAIRO-INF THEOR APPL
SCI COMPUT PROGRAM
SIAM J COMPUT
SOFTWARE PRACT EXPER
THEOR COMPUT SCI
THEOR COMPUT SYST