LIGHTFOOT, David \La \\Spécification formelle avec Z David Lightfoot - Toulouse TEKNEA 1994 - XIV, 193 p. ; 23 cm ISBN: 2-87717-038-1 Source: C-236026 Index Terms--Genre/Form: lucrare de specialitate Universal Decimal Class. No.: 004.438Z