1. Bendisposto, J., Clark, J.: ProB Handbook. ProB 2.0.
https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#prob2.0
. Assessed 30 Jan 2020
2. Goebbels, R.: Worksheets für die Integration mit ProB. Bachelor’s thesis, Heinrich-Heine-Universität Düsseldorf, 18 March 2013
3. Kelvich, S.: kelvich/tlaplus$$\_$$jupyter: Jupyter kernel for TLA$$^{+}$$, 9 December 2019.
https://github.com/kelvich/tlaplus_jupyter/
. Accessed 17 December 2019
4. Kluyver, T., et al.: Jupyter notebooks – a publishing format for reproducible computational workflows. In: Loizides, F., Schmidt, B. (eds.) Positioning and Power in Academic Publishing: Players, Agents and Agendas, pp. 87–90. IOS Press (2016)
5. Knuth, D.E.: Literate programming. Comput. J. 27(2), 97–111 (1984).
https://doi.org/10.1093/comjnl/27.2.97