Mosaics for specifications with implicit state. Rapport de recherche du LACO, 2000. http://www.unilim.fr/laco/rapports. Also (0)

by Dominique Duval, Christian Lair