Văn bản này: Recent trends in data type specification :