Progress in StaticDTD