From: Lucy Lynch <lynch at isoc.org> http://prosecco.gforge.inria.fr/index.php see for example: http://prosecco.gforge.inria.fr/personal/hritcu/publications/verified-ifc-draft.pdf