Replace anubis.dkuug.dk URLs

The anubis.dkuug.dk URLs don't work, so replace them with www.open-std.org ones.
Also add some <iref> elememts.