Specification patterns can be formal and still easy.

Fernando Asteasuain Víctor A. Braberman Specification patterns can be formal and still easy. 430-436 2010 SEKE conf/seke/2010 db/conf/seke/seke2010.html#AsteasuainB10