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