1. Ralph-Johan Back . 2009. Invariant based programming: basic approach and teaching experiences. Formal aspects of computing 21, 3 ( 2009 ), 227--244. Ralph-Johan Back. 2009. Invariant based programming: basic approach and teaching experiences. Formal aspects of computing 21, 3 (2009), 227--244.
2. A survey on reactive programming
3. Frederick P Brooks Jr . 1995. The mythical man-month (anniversary ed.) . Addison-Wesley . Frederick P Brooks Jr. 1995. The mythical man-month (anniversary ed.). Addison-Wesley.
4. Algodynamics: Algorithms as systems
5. Keith D. Cooper and Linda Torczon . 2011 . Engineering a compiler. Elsevier . Keith D. Cooper and Linda Torczon. 2011. Engineering a compiler. Elsevier.