Kevin Lano Andy Evans Rigorous Development in UML. 129-144 1999 conf/fase/1999 FASE db/conf/fase/fase99.html#LanoE99