Linear-Time—Branching-Time Spectroscope - Bisping, Benjamin (2023)