One of the oldest & most respected journals in the field published by Oxford University Press for the British Computer Society. Our subscription has a moving wall of one year; request current articles via ILLiad (interlibrary loan).
Publishes research on "the mathematical and formal aspects of computer science and nonnumerical computing." Current issues available in print; online subscription has a moving wall of one year.