Sketches and specifications: User’s guide. Rapport de recherche du LACO, 2000. http://www.unilim.fr/laco/rapports. Also (0)

by Dominique Duval, Christian Lair