Jin, W. Java Exception Propagation and Handling: CS1 / Java. PAC 2023, 3.