https://bookem.ir/books/3440981-Synchronous-Programming-of-Reactive-Systems