Günther, Michael; Schuster, Johann; Siegle, Markus (2010-04-27). "Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA". Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA. ACM. pp. 13–18. doi:10.1145/1772630.1772635. ISBN978-1-60558-916-9.