Synchronous Programming of Reactive System, A Tutorial and Commented Bibliography