Bibliography

Banks2014

Jerry Banks, John Carson II, Barry Nelson, and David Nicol: Discrete-Event System Simulation, fifth edition. Pearson, 2014, 9781292024370.

Christiansen2023

David Thrane Christiansen: Functional Programming in Lean. Microsoft, 2023, https://lean-lang.org/functional_programming_in_lean/.