Bernhard Steffen Tiziana Margaria Andreas Claßen Volker Braun Incremental Formalization. 608-611 1996 conf/amast/1996 AMAST db/conf/amast/amast96.html#SteffenMCB96 http://dx.doi.org/10.1007/BFb0014354