Mit 'ieee std. 610.12-1990' markierte Ressourcen