Theoretical Computer Science is a mathematical journal whose aim is to understand the nature of computation and provide more efficient methodologies. Dexter Kozen's paper "Results on the propositional μ-calculus" received the following certificate for the 2nd most cited paper from the year 1975-1984: