Journal of Computer and System Sciences
A conference, workshop or journal: the thing that recurs, across all its years.
A theory journal covering complexity, automata, databases and the mathematical side of systems. Its back catalogue holds several results that defined their subfields, which is usually why a bibliography reaches for it.
https://www.sciencedirect.com/journal/journal-of-computer-and-system-sciences
3 references
Verification of object-oriented programs: A transformational approach
Krzysztof R. Apt et al. (2012) · Journal of Computer and System Sciences
A theory of type polymorphism in programming
Robin Milner (1978) · Journal of Computer and System Sciences
On the completeness of the inductive assertion method
Jacobus W. de Bakker et al. (1975) · Journal of Computer and System Sciences