Isabelle Attali Jacques Chazarain Serge Gilette Incremental Evaluation of Natural Semantics Specification. 87-99 1992 conf/plilp/1992 PLILP db/conf/plilp/plilp92.html#AttaliCG92 http://dx.doi.org/10.1007/3-540-55844-6_88