This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
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
5 references
Verification of object-oriented programs: A transformational approach
Krzysztof R. Apt and others (2012) · Journal of Computer and System Sciences
Transforming a Single-Valued Transducer Into a Mealy Machine
Andreas Weber (1998) · Journal of Computer and System Sciences · Academic Press
Expressiveness and the completeness of Hoare's logic
Jan A. Bergstra and others (1982) · Journal of Computer and System Sciences · Elsevier BV
A theory of type polymorphism in programming
Robin Milner (1978) · Journal of Computer and System Sciences · Elsevier
On the completeness of the inductive assertion method
Jacobus W. de Bakker and others (1975) · Journal of Computer and System Sciences · Academic Press