1. ΠΣ: Dependent Types without the Sugar
2. Erlang
3. Nikolaos Bezirgiannis. 2013. Improving Performance of Simulation Software Using Haskells Concurrency & Parallelism. Ph.D. Dissertation. Utrecht University - Dept. of Information and Computing Sciences. Nikolaos Bezirgiannis. 2013. Improving Performance of Simulation Software Using Haskells Concurrency & Parallelism. Ph.D. Dissertation. Utrecht University - Dept. of Information and Computing Sciences.
4. Andrei Borshchev and Alexei Filippov. 2004. From System Dynamics and Discrete Event to Practical Agent Based Modeling: Reasons Techniques Tools. Oxford. Andrei Borshchev and Alexei Filippov. 2004. From System Dynamics and Discrete Event to Practical Agent Based Modeling: Reasons Techniques Tools. Oxford.