Trading legibility against implementability in requirement specifications: an experimental assessment. - Jean-Pierre Jacquot; A. Valdenaire (RE, 1995)