Refinement, Decomposition and Instantiation of Discrete Models.

Jean-Raymond Abrial Refinement, Decomposition and Instantiation of Discrete Models. 17-40 2005 conf/asm/2005 Abstract State Machines http://www.univ-paris12.fr/lacl/dima/asm05/ref_dcp_ins_final2.ps db/conf/asm/asm2005.html#Abrial05