Nicolas Halbwachs About Synchronous Programming and Abstract Interpretation. 179-192 1994 SAS db/conf/sas/sas94.html#Halbwachs94