_id,doi,title 4588,10.1109/LICS.1996.561320,Reactive modules