https://bookem.ir/books/1741553-Synchronous-programming-of-reactive-systems