Stav dette: Recent trends in data type specification :