"109","Event Model Decomposition","","http://deploy-eprints.ecs.soton.ac.uk/109/","Abrial, Jean-Raymond","UNSPECIFIED"," Abrial, Jean-Raymond (2009) Event Model Decomposition. Technical Report. ETH Zurich. (Unpublished) ","jabrial@inf.ethz.ch","2009-04"