J-R Sample Clauses

J-R. Abrial. Event model decomposition. Technical Report 626, ETH Zurich, May 2009.‌