1. Stephen M Brien John E Nicholls etal 1992. Z base standard: Version 1.0. Technical Report. Oxford University Computing Laboratory Programming Research Group. Stephen M Brien John E Nicholls et al. 1992. Z base standard: Version 1.0. Technical Report. Oxford University Computing Laboratory Programming Research Group.
2. David Broman. 2010. Meta-Languages and Semantics for Equation- Based Modeling and Simulation. Ph.D. Dissertation. Department of Computer and Information Science Linköping University Sweden. David Broman. 2010. Meta-Languages and Semantics for Equation- Based Modeling and Simulation. Ph.D. Dissertation. Department of Computer and Information Science Linköping University Sweden.
3. Modelica extensions for Multi-Mode DAE Systems
4. Peter Fritzson. 2010. Principles of object-oriented modeling and simulation with Modelica 2.1. John Wiley & Sons. Peter Fritzson. 2010. Principles of object-oriented modeling and simulation with Modelica 2.1. John Wiley & Sons.
5. G. Giorgidze. 2012. First-class models: On a noncausal language for higher-order and structurally dynamic modelling and simulation. Ph.D. Dissertation. The University of Nottingham. G. Giorgidze. 2012. First-class models: On a noncausal language for higher-order and structurally dynamic modelling and simulation. Ph.D. Dissertation. The University of Nottingham.