Haveraaen, M.Owe, O.Dahl, O.-J.2022-03-022022-03-0219963-540-61629-2https://publica.fraunhofer.de/handle/publica/132259Recent trends in data type specification 1996. Selected papers